Title: Model-Based Systems Engineering with OPM and SysML, Author: Dov Dori
Title: Modern Fortran: Building efficient parallel applications / Edition 1, Author: Milan Curcic
Title: 21st Century RPG: /Free, ILE, and MVC, Author: David Shirey
Title: Purely Functional Data Structures / Edition 1, Author: Chris Okasaki
Title: Modern Fortran Explained: Incorporating Fortran 2018 / Edition 5, Author: Michael Metcalf
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: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
Title: Methods in Medical Informatics: Fundamentals of Healthcare Programming in Perl, Python, and Ruby / Edition 1, Author: Jules J. Berman
Title: Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings / Edition 1, Author: Naoki Kobayashi
Title: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, Author: Bernd Finkbeiner
Title: Euro-Par 2016: Parallel Processing: 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings, Author: Pierre-François Dutot
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
Title: 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, Author: Hongseok Yang
Title: Mathematical Theory of Domains, Author: V. Stoltenberg-Hansen
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: Theories of Programming Languages, Author: John C. Reynolds
Title: Build Your Own .NET Language and Compiler / Edition 1, Author: Edward G. Nilges

Pagination Links