14 books • 1 series
Robotics Research Technical Report
Structured Light Sensors for 3-D Robot Vision (Classic Reprint)
Structured Light Sensors for 3-D Robot Vision (Large Text Classic Reprint)
On the Complexity of Motion Planning for Multiple Independent Objects; Pspace Hardness of the Warehouseman's Problem - Primary Source Edition
Precise Implementation of CAD Primitives Using Rational Parametrizations of Standard Surfaces
Preliminary Implementation of a Ratio Image Depth Sensor
On the Complexity of Motion Planning for Multiple Independent Objects; Pspace Hardness of the Warehouseman's Problem
On Generators of the Banach Algebra L1 (0, Oo) and Related Questions
On the Existence and Synthesis of Multifinger Positive Grips
Networks and Algorithms for Very Large Scale Parallel Computation
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator
Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator
Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J.T. Schwartz
Discrete Thoughts (Modern Birkhauser Classics)
