Multiscale Methods in Computational Mechanics: Progress and Accomplishments
- Length: 463 pages
- Publication Date: 2010-10-26
Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems
- Length: 441 pages
- Publication Date: 2009-12-15
Sets, Logic and Maths for Computing, 2nd Edition
- Length: 304 pages
- Publication Date: 2012-03-31
Principles and Practice of Constraint Programming – CP 2011
- Length: 860 pages
- Publication Date: 2011-11-03
Proofs and Algorithms: An Introduction to Logic and Computability
by Gilles Dowek
- Length: 203 pages
- Publication Date: 2011-01-13
Proofs and Computations
- Length: 480 pages
- Publication Date: 2012-01-16