Geometric Fundamentals of Robotics Andere Bücher in dieser Reihe

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