Formal Verification of Control System Software
Pierre-Loic Garoche
Download - Immediately Available
Format: eBook (PDF)
Distributed Control of Robotic Networks : A Mathematical Approach to Motion Coordination Algorithms
Francesco Bullo
Download - Immediately Available
Format: eBook (PDF)
Matrices, Moments and Quadrature with Applications
Gene H. Golub
Download - Immediately Available
Format: eBook (PDF)