Geometric Fundamentals of Robotics Other Books in This Series
Parsing Techniques
2007
Super-Recursive Algorithms
2006
Adapting Proofs-as-Programs
2007
Software Configuration Management Using Vesta
2010
Abstraction, Refinement and Proof for Probabilistic Systems
2006
Evolutionary Synthesis of Pattern Recognition Systems
2006
Reverse Engineering of Object Oriented Code
2007
Numerical Geometry of Non-Rigid Shapes
2008