Topics in Time Series Econometrics More Books Like This
Involution
2009
Decision Procedures
2008
Practical Foundations for Programming Languages
2012
An Introduction to Programming with Specifications (Enhanced Edition)
2012
Compact Numerical Methods for Computers
2018
Adaptive Quadrature Re-Revisited
2011
Abstract Domains in Constraint Programming
2015
Computational Error and Complexity In Science and Engineering
2005
A First Course in the Numerical Analysis of Differential Equations
2008
Practical Methods of Optimization
2013
Logic and Integer Programming
2009
Numerical Methods for Scientists and Engineers
2012
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
2011
Introduction to Mathematical Systems Theory
2006
Mathematics in Computing
2020