Advanced Finite Element Simulation with MSC Marc 비슷한 책 더 보기
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년