Title: 21st Century RPG: /Free, ILE, and MVC, Author: David Shirey
Title: Accelerator Programming Using Directives: 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings, Author: Sunita Chandrasekaran
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
Title: Biostatistics for Epidemiology and Public Health Using R / Edition 1, Author: Bertram K.C. Chan PhD
Title: Build Your Own .NET Language and Compiler / Edition 1, Author: Edward G. Nilges
Title: Concurrency Verification: Introduction to Compositional and Non-compositional Methods, Author: Willem-Paul de Roever
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
Title: Database Programming Languages: 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers / Edition 1, Author: Gavin Bierman
Title: Database Programming Languages: 9th International Workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers / Edition 1, Author: Georg Lausen
Title: Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, Author: Matteo Baldoni
Title: Domain-Specific Modeling: Enabling Full Code Generation / Edition 1, Author: Steven Kelly
Title: Extensions of First-Order Logic, Author: Maria Manzano
Title: Flexible Input, Dazzling Output with IBM i, Author: Rafael Victïria-Pereira
Title: Introduction to Programming with Fortran / Edition 4, Author: Ian Chivers
Title: Introduction to Python for Science and Engineering / Edition 1, Author: David J. Pine
Title: Java Illuminated / Edition 3, Author: Julie Anderson
Title: Java Illuminated: An Active Learning Approach / Edition 4, Author: Julie Anderson
Title: Knowledge Representation, Reasoning and Declarative Problem Solving, Author: Chitta Baral
Title: Languages and Compilers for Parallel Computing: 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / Edition 1, Author: Eduard Ayguadé
Title: Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers, Author: Lawrence Rauchwerger

Pagination Links