Programming languages (Electronic computers)
Overview
Works: | 154 works in 106 publications in 106 languages |
---|
Titles
Mastering REST APIs = boosting your web development journey with advanced API techniques /
by:
(Language materials, printed)
Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings /
by:
(Language materials, printed)
Options and derivatives programming in C++23 = algorithms and programming techniques for the financial industry /
by:
(Language materials, printed)
Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings /
by:
(Language materials, printed)
Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition /
by:
(Language materials, printed)
Pandas 1.x cookbook : = practical recipes for scientific computing, time series analysis, and exploratory data analysis using Python /
by:
(Language materials, printed)
Implementing effective code reviews : = how to build and maintain clean code /
by:
(Language materials, printed)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(Language materials, printed)
Database Programming Languages : = 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
by:
(Language materials, printed)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Language materials, printed)
Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
by:
(Language materials, printed)
Automating with STEP 7 in STL and SCL : = programmable controllers SIMATIC S7-300/400 /
by:
(Language materials, printed)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(Language materials, printed)
Programming languages and systems = 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 :proceedings /
by:
(Language materials, printed)
Transactions on pattern languages of programming II = special issue on applying patterns /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(Language materials, printed)
Programming Languages and Systems = 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 : proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part I /
by:
(Language materials, printed)
Guide to HTML, JavaScript and PHP = for scientists and engineers /
by:
(Language materials, printed)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(Language materials, printed)
Regular Expression Recipes for Windows Developers = A Problem-Solution Approach /
by:
(Language materials, printed)
Programming languages and systems = 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(Language materials, printed)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(Language materials, printed)
Database programming languages = 12th international symposium, DBPL 2009, Lyon, France, August 23-24, 2009 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(Language materials, printed)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /
by:
(Language materials, printed)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(Language materials, printed)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Language materials, printed)
Programming languages = 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings /
by:
(Language materials, printed)
Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday /
by:
(Language materials, printed)
SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Language materials, printed)
Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Language materials, printed)
Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers /
by:
(Language materials, printed)
Programming languages and systems = 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings /
by:
(Language materials, printed)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part I /
by:
(Language materials, printed)
Automata, languages, and programming = 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013 : proceedings.. Part II /
by:
(Language materials, printed)
Programming languages = 17th Brazilian Symposium, SBLP 2013, Brasilia, Brazil, October 3 - 4, 2013 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Programming languages = 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(Language materials, printed)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(Language materials, printed)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part II /
by:
(Language materials, printed)
Automata, languages, and programming = 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.. Part I /
by:
(Language materials, printed)
Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
Software language engineering = 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(Language materials, printed)
Advances in computing science--ASIAN 2003 = programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers /
by:
(Language materials, printed)
Modular programming languages = Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 proceedings /
by:
(Language materials, printed)
Programming languages and systems = 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings /
by:
(Language materials, printed)
Static analysis = 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings /
by:
(Language materials, printed)
Database programming languages = 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers /
by:
(Language materials, printed)
Domain-specific program generation = international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers /
by:
(Language materials, printed)
Programming languages and systems = second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
(Language materials, printed)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(Language materials, printed)
Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers /
by:
(Language materials, printed)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(Language materials, printed)
Formal languages for computer simulation = transdisciplinary models and applications /
by:
(Language materials, printed)
Programming languages and systems = 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Leveraging WMI scripting = using Windows Management Instrumentation to solve Windows management problems /
by:
(Language materials, printed)
Sockets, shellcode, porting & coding = reverse engineering exploits and tool coding for security professionals /
by:
(Language materials, printed)
Software development for engineers with C, Pascal, C++, Assembly Language, Visual Basic, HTML, JavaScript, and Java
by:
(Language materials, printed)
Interaction flow modeling language = model-driven ui engineering of web and mobile apps with ifml /
by:
(Language materials, printed)
Software technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(Language materials, printed)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(Language materials, printed)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(Language materials, printed)
Programming languages and systems = 25th European Symposium on Programming, ESOP 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Language materials, printed)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(Language materials, printed)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(Language materials, printed)
Text analytics with Python = a practical real-world approach to gaining actionable insights from your data /
by:
(Language materials, printed)
Deductive software verification - The KeY Book = from theory to practice /
by:
(Language materials, printed)
Source Code Analytics With Roslyn and JavaScript Data Visualization
by:
(Language materials, printed)
Data Science Using Oracle Data Miner and Oracle R Enterprise = transform your business systems into an analytical powerhouse /
by:
(Language materials, printed)
Exploring Swift Playgrounds = the fastest and most effective way to learn to code and to teach others to use your code /
by:
(Language materials, printed)
Raspberry Pi supercomputing and scientific programming = MPI4PY, NumPy, and SciPy for enthusiasts /
by:
(Language materials, printed)
Mastering media with the Raspberry Pi = media centers, music, high end audio, video, and ultimate movie nights /
by:
(Language materials, printed)
Low-level programming = C, Assembly, and program execution on Intel 64 architecture /
by:
(Language materials, printed)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Language materials, printed)
Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers /
by:
(Language materials, printed)
Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings /
by:
(Language materials, printed)
A beginner's guide to Scala, object orientation and functional programming
by:
(Language materials, printed)
C++17 quick syntax reference = apocket guide to the language, apis and library /
by:
(Language materials, printed)
Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
by:
(Language materials, printed)
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
(Language materials, printed)
Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers /
by:
(Language materials, printed)
Programming 101 = the how and why of programming revealed using the processing programming language /
by:
(Language materials, printed)
Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
(Language materials, printed)
Data analysis and visualization using Python = analyze data to create visualizations for BI systems /
by:
(Language materials, printed)
Coding literacy : = how computer programming is changing writing /
by:
(Language materials, printed)
Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
(Language materials, printed)
Python for data analysis : = data wrangling with Pandas, NumPy, and IPython /
by:
(Language materials, printed)
Agile Swift = Swift programming using Agile tools and techniques /
by:
(Language materials, printed)
Interaction flow modeling language = model-driven UI engineering of web and mobile apps with IFML /
by:
(Language materials, printed)
Show more
Fewer
Subjects