Geometric Fundamentals of Robotics كتب أخرى بهذه السلسلة
Parsing Techniques
٢٠٠٧
Super-Recursive Algorithms
٢٠٠٦
Adapting Proofs-as-Programs
٢٠٠٧
Software Configuration Management Using Vesta
٢٠١٠
Abstraction, Refinement and Proof for Probabilistic Systems
٢٠٠٦
Evolutionary Synthesis of Pattern Recognition Systems
٢٠٠٦
Reverse Engineering of Object Oriented Code
٢٠٠٧
Numerical Geometry of Non-Rigid Shapes
٢٠٠٨