Geometric Fundamentals of Robotics
J.M. Selig
Adapting Proofs-as-Programs
Iman Poernomo, John N. Crossley & Martin Wirsing
Parsing Techniques
Dick Grune & Ceriel J.H. Jacobs
Software Configuration Management Using Vesta
Clark Allan Heydon, Roy Levin, Timothy P. Mann & Yuan Yu
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver & Charles Carroll Morgan
Super-Recursive Algorithms
Mark Burgin
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu, Yingqiang Lin & Krzysztof Krawiec
Reverse Engineering of Object Oriented Code
Paolo Tonella & Alessandra Potrich
Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein, Michael M. Bronstein & Ron Kimmel