Computer Science

New books from university presses

(1) Equational Logic as a Programming Language
by Michael J. O'Donnell
ISBN: 9780262150286

(2) Model-Based Image Matching Using Location
by Henry S. Baird
ISBN: 9780262022200

(3) Robot Hands and the Mechanics of Manipulation
by Matthew T. Mason and J. Kenneth Salisbury
ISBN: 9780262132053

(4) Robotics Research: The Second International Symposium
Edited by Hideo Hanafusa and Hirochika Inoue
ISBN: 9780262081511