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: Practical Foundations for Programming Languages / Edition 2, Author: Robert Harper
Title: The Python Workbook: A Brief Introduction with Exercises and Solutions / Edition 2, Author: Ben Stephenson
Title: Concepts in Programming Languages / Edition 1, Author: John C. Mitchell
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: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
Title: The Pi-Calculus: A Theory of Mobile Processes, Author: Davide Sangiorgi
Title: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Edition 1, Author: Radhia Cousot
Title: Theories of Programming Languages / Edition 1, Author: John C. Reynolds
Title: Introduction to Concurrency in Programming Languages / Edition 1, Author: Matthew J. Sottile
Title: Static Analysis: Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings / Edition 1, Author: Patrick Cousot
Title: Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings / Edition 1, Author: Kwangkeun Yi
Title: Introduction to R for Terrestrial Ecology: Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R, Author: Milena Lakicevic

Pagination Links