Programming languages (Electronic computers)
Overview
            | Works: | 163 works in 115 publications in 115 languages | |
|---|---|---|
Titles
          
                  
                    Programming languages and systems = 34th European Symposium on Programming, ESOP 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part II /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Programming languages and systems = 34th European Symposium on Programming, ESOP 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part I /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Static analysis = 31st International Symposium, SAS 2024, Pasadena, CA, USA October 20-22, 2024 : proceedings /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Software, system, and service engineering = S3E 2024 Topical Area, held as part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, held as part of SEAA 2024, Paris, France, August 28-30, 2024 : revised selected papers /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Programming languages and systems = 22nd Asian symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024 : proceedings /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Nonsequential and distributed programming with Go = synchronization of concurrent processes /
                  
                  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)
                      
                    
                      
                        Implementing effective code reviews : = how to build and maintain clean code /
                      
                      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)
                      
                    
                      
                        Nonsequential and distributed programming with Go : = synchronization of concurrent processes: communication - cooperation - competition /
                      
                      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)
                      
                    
                      
                        Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 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)
                      
                    
                      
                        Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings /
                      
                      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)
                      
                    
                      
                        Mastering REST APIs = boosting your web development journey with advanced API techniques /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                  
                  
                      Show more
                    
                    
                      Fewer
                    
                  Subjects