Title: APL2 in Depth / Edition 1, Author: Norman D. Thomson
Title: Static Analysis: 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings / Edition 1, Author: Pascal van Hentenryck
Title: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
Title: 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, Author: Peter Thiemann
Title: Guide to RISC Processors: for Programmers and Engineers / Edition 1, Author: Sivarama P. Dandamudi
Title: CASL User Manual: Introduction to Using the Common Algebraic Specification Language / Edition 1, Author: Michel Bidoit
Title: Practical OCaml, Author: Joshua B. Smith
Title: Distributed Virtual Worlds: Foundations and Implementation Techniques Using VRML, Java, and CORBA / Edition 1, Author: Stephan Diehl
Title: Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings / Edition 1, Author: Atsushi Ohori
Title: Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers / Edition 1, Author: Mads Dam
Title: New Trends in Formal Languages: Control, Cooperation, and Combinatorics / Edition 1, Author: Gheorghe Paun
Title: Implementation of Functional Languages: 11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers / Edition 1, Author: Pieter Koopman
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
Title: Foundations of F# / Edition 1, Author: Robert Pickering
Title: Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / Edition 1, Author: Matteo Baldoni
Title: The Unified Modeling Language. <<UML>>'98: Beyond the Notation: First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers / Edition 1, Author: Jean Bezivin
Title: Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / Edition 1, Author: João Leite
Title: Introduction to Discrete Mathematics with ISETL / Edition 1, Author: William E. Fenton
Title: Enterprise Development with Visual Studio .NET, UML, and MSF / Edition 1, Author: Eric Hansen
Title: Languages and Compilers for Parallel Computing: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers, Author: Xipeng Shen

Pagination Links