Parsing Techniques
Dick Grune & Ceriel J.H. Jacobs
Super-Recursive Algorithms
Mark Burgin
Geometric Fundamentals of Robotics
J.M. Selig
Adapting Proofs-as-Programs
Iman Poernomo, John N. Crossley & Martin Wirsing
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
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