Title: Modern Fortran: Building efficient parallel applications / Edition 1, Author: Milan Curcic
Title: 21st Century RPG: /Free, ILE, and MVC, Author: David Shirey
Title: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: Concepts in Programming Languages / Edition 1, Author: John C. Mitchell
Title: Purely Functional Data Structures / Edition 1, Author: Chris Okasaki
Title: Metamathematics, Machines and Gödel's Proof, Author: N. Shankar
Title: The Description Logic Handbook: Theory, Implementation and Applications / Edition 2, Author: Franz Baader
Title: Practical MATLAB: With Modeling, Simulation, and Processing Projects, Author: Irfan Turk
Title: The Uncertain Reasoner's Companion: A Mathematical Perspective, Author: J. B. Paris
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
Title: Simulink: Diverse Engineering Applications, Author: Linda Morant
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
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: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Edition 1, Author: Jens Palsberg
Title: Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings, Author: Anthony Widjaja Lin
Title: Biostatistics for Epidemiology and Public Health Using R / Edition 1, Author: Bertram K.C. Chan PhD
Title: Extensions of First-Order Logic, Author: Maria Manzano
Title: Modeling Languages in Mathematical Optimization / Edition 1, Author: Josef Kallrath

Pagination Links