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