Programming With Specifications: An Introduction to Anna, a Language for Specify

Plato's Problem: An Introduction to Mathematical Platonism

An Introduction to Mathematical Learning Theory., Unknown

Mathematical Programming Via Augmented Lagrangians: An Introduction with Compute

Discrete Mathematical Models with Applications to Social, Biological, and Enviro

Introduction to Switching Theory: a Mathematical Approach, Ronald E. Prather

Mathematical Techniques: An Introduction for the Engineering, Physical, and Math

Mathematical cosmology: An introduction (Oxford science publications), Peter The