Geometric Optimal Control: Theory, Methods and Examples by Heinz Schattler

Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Research Methods and Applications for Student by J. Patrick Biddix HARDBACK

Geometric Methods and Applications : For Computer Science and Eng

Research Methods and Applications for Student Affairs by J. Patrick Biddix

GEOMETRICAL METHODS IN ROBOTICS (MONOGRAPHS IN COMPUTER By J. M. Selig **Mint**