Programming languages (Electronic computers)

Languages and Compilers for Parallel Computing18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / by: (Electronic resources)

Programming Languages and Systems (vol. # 3924)15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European / by: (Electronic resources)

Declarative Agent Languages and Technologies IIIThird International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / by: (Electronic resources)

Static Analysis (vol. # 4134)13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings / by: (Electronic resources)

Modular Programming Languages7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings / by: (Electronic resources)

Programming Languages and Systems (vol. # 4279)4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / by: (Electronic resources)

Declarative Agent Languages and Technologies IV4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / by: (Electronic resources)

Programming Languages and Systems14th 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: (Electronic resources)

Declarative Agent Languages and Technologies IISecond International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / by: (Electronic resources)

Languages and Compilers for High Performance Computing17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers by: (Electronic resources)

Static Analysis12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / by: (Electronic resources)

Programming Languages and Systems :Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by: (Electronic resources)

Languages and Compilers for Parallel Computing :15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers by: (Electronic resources)

Database Programming Languages :10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers by: (Electronic resources)

Static Analysis15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / by: (Electronic resources)

Beginning groovy and grailsfrom novice to professional / by: (Language materials, printed)

Programming languages and systems6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings / by: (Language materials, printed)

Languages and compilers for parallel computing21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers / by: (Language materials, printed)

Programming languagesan active learning approach / by: (Language materials, printed)

IEEE transactions on software engineering. by: (Language materials, printed)

Declarative agent languages and technologies VI6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers / by: (Electronic resources)

Expert shell scripting by: (Electronic resources)

Advances in computing science--ASIAN 2003programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings / by: (Electronic resources)

Languages and compilers for parallel computing14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers / by: (Electronic resources)

Modular programming languagesJoint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 proceedings / by: (Electronic resources)

Programming languages and systems12th 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: (Electronic resources)

Programming languages and systemsfirst Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings / by: (Electronic resources)

Static analysis10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings / by: (Electronic resources)

Database programming languages9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers / by: (Electronic resources)

Declarative agent languages and technologiesfirst international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers / by: (Electronic resources)

Domain-specific program generationinternational seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers / by: (Electronic resources)

Programming languages and systemssecond Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings / by: (Electronic resources)

Programming languages and systems13th 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: (Electronic resources)

Static analysis11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings / by: (Electronic resources)

Principles of programming languages by: (Electronic resources)

The new PL/I... for PC, workstation and mainframe / by: (Electronic resources)

Languages: from formal to naturalessays dedicated to Nissim Francez on the occasion of his 65th birthday / by: (Electronic resources)

Programming languages :principles and practice / by: (Language materials, printed)

Language engineering and rigorous software developmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures / by: (Electronic resources)

Static analysis16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings / by: (Electronic resources)

Database programming languages12th international symposium, DBPL 2009, Lyon, France, August 23-24, 2009 : proceedings / by: (Electronic resources)

Design concepts in programming languages / by: (Language materials, printed)

Programming languages and systems7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings / by: (Electronic resources)

Learn Objective-C for Java developers by: (Electronic resources)

Transactions on pattern languages of programming I by: (Electronic resources)

Programming languages and systems19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (Electronic resources)

Programming languagesprinciples and paradigms / by: (Electronic resources)

Concepts of programming languages / by: (Language materials, printed)

Analysis and verification of multiple-agent languages5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / by: (Electronic resources)

Languages and compilers for parallel computing9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings / by: (Electronic resources)

Modular programming languagesJoint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 : proceedings / by: (Electronic resources)

New trends in formal languagescontrol, cooperation, and combinatorics / by: (Electronic resources)

Programming languagesimplementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings / by: (Electronic resources)

Static analysis4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings / by: (Electronic resources)

Database programming languages6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings / by: (Electronic resources)

Programming languages and systems7th European Symposium on Programming, ESOP'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / by: (Electronic resources)

Static analysis5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings / by: (Electronic resources)

Automata, languages and programming26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings / by: (Electronic resources)

Meta-level architectures and reflectionSecond International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings / by: (Electronic resources)

Programming languages and systems8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / by: (Electronic resources)

Static analysis6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings / by: (Electronic resources)

Automata, languages and programming27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings / by: (Electronic resources)

Languages and compilers for parallel computing12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings / by: (Electronic resources)

Languages, compilers, and run-time systems for scalable computers5th international workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers / by: (Electronic resources)

Mixed-effects models in S and S-PLUS by: (Electronic resources)

Modular programming languagesJoint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8,2000 : proceedings / by: (Electronic resources)

Research issues in structured and semistructured database programming7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers / by: (Electronic resources)

Static analysis7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/ by: (Electronic resources)

Languages and compilers for parallel computing13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers / by: (Electronic resources)

Languages, compilers, and tools for embedded systemsACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June18, 2000 : proceedings / by: (Electronic resources)

Metalevel architectures and separation of crosscutting concernsthird international conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings / by: (Electronic resources)

Programming languages and systems10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / by: (Electronic resources)

Static analysis8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings / by: (Electronic resources)

Automata, languages and programming29th international colloquium, ICALP 2002, Maalaga, Spain, July 8-13, 2002 : proceedings / by: (Electronic resources)

Database programming languages8th international workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers / by: (Electronic resources)

Formal and natural computingessays dedicated to Grzegorz Rozenberg / by: (Electronic resources)

Programming languages and systems11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / by: (Electronic resources)

Static analysis9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / by: (Electronic resources)

Formal methods for quantitative aspects of programming languages10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures / by: (Electronic resources)

Designing embedded systems with the SIGNAL programming languagesynchronous, reactive specification / by: (Electronic resources)

Coordination, Organizations, Institutions and Norms in Agent Systems VCOIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009, revised selected papers / by: (Electronic resources)

Interfacesexplorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 Student Sessions, selected papers / by: (Electronic resources)

Programming languages and systems8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010, proceedings / by: (Electronic resources)

PHP objects, patterns, and practice by: (Electronic resources)

Programming erlang :software for a concurrent world / by: (Language materials, printed)

Introduction to the theory of programming languages by: (Electronic resources)

Programming languages and systems20th 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: (Electronic resources)

Transactions on pattern languages of programming IIspecial issue on applying patterns / by: (Electronic resources)

Guide to HTML, JavaScript and PHP for scientists and engineers / by: (Electronic resources)

Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part II / by: (Electronic resources)

Automata, languages and programming38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.Part I / by: (Electronic resources)

Multiparadigm constraint programming languages by: (Electronic resources)

Static analysis18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings / by: (Electronic resources)

Programming languages and systems9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings / by: (Electronic resources)

packetC programming by: (Electronic resources)

Programming languages and systems21st 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: (Electronic resources)

Software language engineering4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers / by: (Electronic resources)

Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part II / by: (Electronic resources)

Automata, languages, and programming39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings.Part I / by: (Electronic resources)

Programming language concepts by: (Electronic resources)

Static analysis19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / by: (Electronic resources)

Programming languages16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012 : proceedings / by: (Electronic resources)

The NCL natural constraint language by: (Electronic resources)

Programming languages and systems10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings / by: (Electronic resources)

Programming languages and systems23rd 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: (Electronic resources)

Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part I / by: (Electronic resources)

Automata, languages, and programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014 : proceedings.Part II / by: (Electronic resources)

A beginner's guide to Scala, object orientation and functional programming by: (Electronic resources)

Pristine perspectives on logic, language, and computationESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers / by: (Electronic resources)

PRINCIPLES OF PROGRAMMING LANGUAGESA Paradigm Approach / by: (Electronic resources)

Formal languages for computer simulationtransdisciplinary models and applications / by: (Electronic resources)

Programming languages18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014 : proceedings / by: (Electronic resources)

Oracle embedded programming and application development by: (Electronic resources)

Software language engineering7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014 : proceedings / by: (Language materials, printed)

Programming languages and systems12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014 : proceedings / by: (Electronic resources)

Transitioning to Swift by: (Electronic resources)

Scripting in Javaintegrating with Groovy and JavaScript / by: (Electronic resources)

Foundations of programming languages by: (Electronic resources)

Programming languages and systems24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (Electronic resources)

Programming languages :principles and practice / by: (Language materials, printed)

Concepts of programming languages / by: (Language materials, printed)

Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part II / by: (Electronic resources)

Automata, languages, and programming42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015 : proceedings.Part I / by: (Electronic resources)

An introduction to Python and computer programming by: (Electronic resources)

Swift recipesa problem-solution approach / by: (Electronic resources)

Swift game programming for absolute beginners by: (Electronic resources)

Software technologies9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Electronic resources)

Programming languages19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015 : proceedings / by: (Electronic resources)

OpenMPheterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (Electronic resources)

SDL 2015model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (Electronic resources)

Programming languages with applications to biology and securityessays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (Electronic resources)

Testing Software and Systems27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (Electronic resources)

Globalizing domain-specific languagesInternational Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (Electronic resources)

Hardware and softwareverification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (Electronic resources)

Programming languages and systems13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings / by: (Electronic resources)

Logic for programming, artificial intelligence, and reasoning20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (Electronic resources)

Software technologies10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers / by: (Electronic resources)

Theory and practice of formal methodsessays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Electronic resources)

A list of successes that can change the worldessays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (Electronic resources)

Programming languages and systems25th 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: (Electronic resources)

Rails 5 revealed by: (Electronic resources)

Dynamic SQLapplications, performance, and security / by: (Electronic resources)

Biostatistics for epidemiology and public health using R / by: (Electronic resources)

Reversible computation8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings / by: (Electronic resources)

Type systems for distributed programscomponents and sessions / by: (Electronic resources)

Programming languages20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings / by: (Electronic resources)

Ansiblefrom beginner to Pro / by: (Electronic resources)

Formal methods and software engineering18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Electronic resources)

Programming languages and systems14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings / by: (Electronic resources)

Hardware and softwareverification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (Electronic resources)

C++/CLI primerfor .NET development / by: (Electronic resources)

Text analytics with Pythona practical real-world approach to gaining actionable insights from your data / by: (Electronic resources)

Erlang and Elixir for imperative programmers by: (Electronic resources)

Deductive software verification - The KeY Bookfrom theory to practice / by: (Electronic resources)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (Electronic resources)

Data Science Using Oracle Data Miner and Oracle R Enterprisetransform your business systems into an analytical powerhouse / by: (Electronic resources)

Agile SwiftSwift programming using Agile tools and techniques / by: (Electronic resources)

Deploying Raspberry Pi in the classroom by: (Electronic resources)

Machine learning using R by: (Electronic resources)

Exploring Swift Playgroundsthe fastest and most effective way to learn to code and to teach others to use your code / by: (Electronic resources)

Raspberry Pi supercomputing and scientific programmingMPI4PY, NumPy, and SciPy for enthusiasts / by: (Electronic resources)

Low-level programmingC, Assembly, and program execution on Intel 64 architecture / by: (Electronic resources)

Software Technologies11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers / by: (Electronic resources)

Scaling OpenMP for exascale performance and portability13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (Electronic resources)

Programming language concepts by: (Electronic resources)

Mastering media with the Raspberry Pimedia centers, music, high end audio, video, and ultimate movie nights / by: (Electronic resources)

Programming languages and systems15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (Electronic resources)

Foundations of programming languages by: (Electronic resources)

Practical Scala DSLsreal-world applications using domain specific languages / by: (Electronic resources)

Learn data analysis with Pythonlessons in coding / by: (Electronic resources)

A beginner's guide to Scala, object orientation and functional programming by: (Electronic resources)

C++17 quick syntax referenceapocket guide to the language, apis and library / by: (Electronic resources)

Foundations of quantum programming by: (Electronic resources)

Programming languages and systems27th 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: (Electronic resources)

Functional and logic programming14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (Electronic resources)

Software languagessyntax, semantics, and metaprogramming / by: (Electronic resources)

Software technologies12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (Electronic resources)

Programming 101the how and why of programming revealed using the processing programming language / by: (Electronic resources)

Computer safety, reliability, and security37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (Electronic resources)

Practical TLA+planning driven development / by: (Electronic resources)

Data analysis and visualization using Pythonanalyze data to create visualizations for BI systems / by: (Electronic resources)

Transactions on pattern languages of programming IV by: (Electronic resources)

Programming languages and systems28th European Symposium on Programming, ESOP 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings / by: (Electronic resources)

Dynamic SQLapplications, performance, and security in Microsoft SQL server / by: (Electronic resources)

Programming languages and systems26th 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: (Electronic resources)

Software technologies13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (Electronic resources)

Evolving OpenMP for evolving architectures14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018 : proceedings / by: (Electronic resources)

Programming languages and systems16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings / by: (Electronic resources)

Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings / by: (Electronic resources)

Introducing Vala programminga language and techniques to boost productivity / by: (Electronic resources)

Julia quick syntax referencea pocket guide for data science programming / by: (Electronic resources)

Programming languages and systems29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings / by: (Electronic resources)

Guide to assembly languagea concise introduction / by: (Electronic resources)

Beginning Ballerina programmingfrom novice to professional / by: (Electronic resources)

The definitive guide to Masonitebuilding web applications with Python / by: (Electronic resources)

Beginning Ring programmingfrom novice to professional / by: (Electronic resources)

Interaction flow modeling languagemodel-driven UI engineering of web and mobile apps with IFML / by: (Electronic resources)

Software technologies14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers / by: (Electronic resources)

Modern C++ for absolute beginnersa friendly introduction to C++ programming language and C++11 to C++20 standards / by: (Electronic resources)

OpenMPportable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings / by: (Electronic resources)

Implementing effective code reviewshow to build and maintain clean code / by: (Electronic resources)

Functional and logic programming15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020 : proceedings / by: (Electronic resources)

Raku fundamentalsa primer with examples, projects, and case studies / by: (Electronic resources)

Spring quick reference guidea pocket handbook for Spring framework, Spring boot, and more / by: (Electronic resources)

Beginning Quarkus frameworkbuild cloud-native enterprise Java applications and microservices / by: (Electronic resources)

Beginning C++20from novice to professional / by: (Electronic resources)

Computer safety, reliability, and security38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings / by: (Electronic resources)

OpenMPconquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings / by: (Electronic resources)

Search-based software engineering11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019 : proceedings / by: (Electronic resources)

The art of modelling computational systemsa journey from logic and concurrency to security and privacy : Essays dedicated to Catuscia Palamidessi on the occasion of her 60th birthday / by: (Electronic resources)

Options and derivatives programming in C++20algorithms and programming techniques for the financial industry / by: (Electronic resources)

Raku recipesa problem-solution approach / by: (Electronic resources)

Getting structured data from the Internetrunning web crawlers/Scrapers on a Big Data Production Scale / by: (Electronic resources)

Understanding programming languages by: (Electronic resources)

Programming languages and systems18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020 : proceedings / by: (Electronic resources)

Learn microservices with Spring Boota practical approach to RESTful services using an event-driven architecture, cloud-native patterns, and containerization / by: (Electronic resources)

Ethereum smart contract development in solidity by: (Electronic resources)

XcalableMP PGAS programming languagefrom programming model to applications / by: (Electronic resources)

Python testing with Seleniumlearn to implement different testing techniques using the Selenium WebDriver / by: (Electronic resources)

Nonsequential and distributed programming with Gosynchronization of concurrent processes: communication - cooperation - competition / by: (Electronic resources)

Programming with TensorFlowsolution for edge computing applications / by: (Electronic resources)

The TYPO3 guidebookunderstand and use TYPO3 CMS / by: (Electronic resources)

Programming languages and systems30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021 : proceedings / by: (Electronic resources)

Languages and compilers for parallel computing32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019 : revised selected papers / by: (Electronic resources)

Evaluation of novel approaches to software engineering15th International Conference, ENASE 2020, Prague, Czech Republic, May 5-6, 2020 : revised selected papers / by: (Electronic resources)

Software technologies15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers / by: (Electronic resources)

Computer safety, reliability, and security40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings / by: (Electronic resources)

Beginner's guide to kotlin programming by: (Electronic resources)

Programming languages and systems19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings / by: (Electronic resources)

Introduction to machine learning with Python :a guide for data scientists / by: (Language materials, printed)

OpenMPenabling massive node-level parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021 : proceedings / by: (Electronic resources)

Language server protocol and implementationsupporting language-smart editing and programming tools / by: (Electronic resources)

Languages and compilers for parallel computing33rd International Workshop, LCPC 2020, virtual event, October 14-16, 2020 : revised selected papers / by: (Electronic resources)

Languages and compilers for parallel computing34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021 : revised selected papers / by: (Electronic resources)

Programming languages and systems31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (Electronic resources)

Software technologies16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers / by: (Electronic resources)

Computer safety, reliability, and security41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings / by: (Electronic resources)

Programming 101learn to code with the Processing language using a visual approach / by: (Electronic resources)

Programming language design and implementation by: (Electronic resources)

Programming languages and systems20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022 : proceedings / by: (Electronic resources)

Static analysis29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 : proceedings / by: (Electronic resources)

Beginning MATLAB and Simulinkfrom beginner to pro / by: (Electronic resources)

Languages and compilers for parallel computing35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022 : revised selected papers / by: (Electronic resources)

Programming languages and systems32nd European Symposium on programming, Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings / by: (Electronic resources)

Modern C++ for absolute beginnersa friendly introduction to the C++ programming language and C++11 to C++23 standards / by: (Electronic resources)

Software technologies17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers / by: (Electronic resources)

Text analysis with Pythona research-oriented guide / by: (Electronic resources)

Computer safety, reliability, and securitySAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings / by: (Electronic resources)

Programming languagesprinciples and paradigms / by: (Electronic resources)

Static analysis30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings / by: (Electronic resources)

Options and derivatives programming in C++23algorithms and programming techniques for the financial industry / by: (Electronic resources)

Programming languages and systems21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings / by: (Electronic resources)

The statistical analysis of doubly truncated data :with applications in R / by: (Language materials, printed)

Information technology for managementsolving social and business problems through IT : ITBS 2023 Main Track and ISM 2023 Thematic Track, held as part of FedCSIS 2023, Warsaw, Poland, September 17-20, 2023 : extended and revised selected papers / by: (Electronic resources)

Software, system, and service engineeringS3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023 and 8th Workshop on Advances in Programming Languages, WAPL 2023, held as part of FedCSIS 2023, Warsaw, Poland, 17-20 September 2023 : revised selected papers / by: (Electronic resources)

Computer safety, reliability, and security42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings / by: (Electronic resources)