Parsing Techniques كتب أخرى بهذه السلسلة
Super-Recursive Algorithms
٢٠٠٦
Geometric Fundamentals of Robotics
٢٠٠٧
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
٢٠٠٨