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