Modern Computational Finance More Books Like This
Modern Computational Finance
2018
The Big R-Book
2020
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
Inductive Logic Programming
2014
Principles and Practice of Constraint Programming
2018
Principles and Practice of Constraint Programming
2019
Principles and Practice of Constraint Programming
2016
Principles and Practice of Constraint Programming
2017
Provably Correct Systems
2017
Constraint Satisfaction Problems
2013
Principles and Practice of Constraint Programming
2020
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018
Intelligent Computer Graphics 2011
2008
Interactive Theorem Proving
2015
Modeling and Verification of Real-time Systems
2013