The Correctness-by-Construction Approach to Programming
- Length: 277 pages
- Publication Date: 2012-04-11
Multiscale Methods in Computational Mechanics: Progress and Accomplishments
- Length: 463 pages
- Publication Date: 2010-10-26
Multivariate Analysis for the Biobehavioral and Social Sciences: A Graphical Approach
- Length: 496 pages
- Publication Date: 2011-12-27
Real-Time Embedded Systems: Optimization, Synthesis, and Networking
- Length: 231 pages
- Publication Date: 2011-06-01
Topological Methods in Data Analysis and Visualization II: Theory, Algorithms, and Applications
- Length: 310 pages
- Publication Date: 2012-03-28
Artificial Neural Networks in Biological and Environmental Analysis
- Length: 214 pages
- Publication Date: 2011-01-18
Adaptive High-Resolution Sensor Waveform Design for Tracking
- Length: 110 pages
- Publication Date: 2010-11-22
Robust and Online Large-Scale Optimization: Models and Techniques for Transportation Systems
- Length: 441 pages
- Publication Date: 2009-12-15