Advanced Finite Element Simulation with MSC Marc More Books Like This
The New S Language
2018
Principles and Practice of Constraint Programming
2017
Interactive Theorem Proving
2015
Engineering Informatics
2013
Recent Advances in Algorithmic Differentiation
2012
Principles and Practice of Constraint Programming
2016
EMBOSS Developer's Guide
2011
Modern Computational Finance
2018
A SAS/IML Companion for Linear Models
2009
Rules and Reasoning
2019
Introduction to Digital Systems
2011
Formal Languages and Compilation
2019
Refinement in Z and Object-Z
2013
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
Principles and Practice of Constraint Programming
2018