A DESIGN FOR OPTIMIZATIONS OF THE BITVEC (HB)

A DESIGN FOR OPTIMIZATIONS OF THE BITVEC (PB)

A DESIGN FOR OPTIMIZATIONS OF THE BITVECTORING CLASS (CLASSIC REPRINT)

A DESIGN FOR OPTIMIZATIONS OF THE BITVECTORING CLASS. BY J.T. SCHWARTZ AND M. SHARIR

A SURVEY OF PROGRAM PROOF TECHNOLOGY

A SURVEY OF PROGRAM PROOF TECHNOLOGY (CLASSIC REPRINT)

A SURVEY OF PROGRAM PROOF TECHNOLOGY (HB)

COMPUTATIONAL LOGIC AND SET THEORY (PB)

DREAMWORLD

DREAMWORLD'

FINDING EFFECTIVE 'FORCE-TARGETS' FOR TWO-DIMENSIONAL MULTIFINGER FRICTIONAL GRIPS

FINDING EFFECTIVE 'FORCE-TARGETS' FOR TWO-DIMENSIONAL MULTIFINGER FRICTIONAL GRIPS (HB)

IDENTIFICATION OF PARTIALLY OBSCURED OBJ (PB)

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY ''CHARACTERISTIC CURVES, '' (HB)

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY ''CHARACTERISTIC CURVES, '' (HB)

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY ''CHARACTERISTIC CURVES,'' (PB)

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY 'CHARACTERISTIC CURVES, '

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY 'CHARACTERISTIC CURVES, '

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY 'CHARACTERISTIC CURVES, '

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY 'CHARACTERISTIC CURVES, ' (HB)

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY 'CHARACTERISTIC CURVES, ' - SCHOLAR'S CHOICE EDITION

IDENTIFICATION OF PARTIALLY OBSCURED OBJECTS IN TWO DIMENSIONS BY MATCHING OF NOISY 'CHARACTERISTIC CURVES, '...

INTERNAL, EXTERNAL, AND PRAGMATIC INFLUENCES

INTERNAL, EXTERNAL, AND PRAGMATIC INFLUENCES

INTERNAL, EXTERNAL, AND PRAGMATIC INFLUENCES (HB)

LA CUPOLA DI SANTA MARIA DEL FIORE; ILLUSTRATA CON I DOCUMENTI DELL'ARCHIVO DELL'OPERA SECOLARE. SAGGIO DI UNA COMPIUTA ILLUSTRAZIONE DELL'OPERA SECO

LECTURES ON THE MATHEMATICAL METHOD IN ANALYTICAL ECONOMICS

MOTION PLANNING AND RELATED GEOMETRIC ALGORITHMS IN ROBOTICS

MOTION PLANNING AND RELATED GEOMETRIC ALGORITHMS IN ROBOTICS (HB)

OBJECT RECOGNITION BY 3-DIMENSIONAL CURVE MATCHING

OBJECT RECOGNITION BY 3-DIMENSIONAL CURVE MATCHING

OBJECT RECOGNITION BY AFFINE INVARIANT MATCHING

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES (CLASSIC REPRINT)

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES (HB)

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES (HB)

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES (HB)

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES (PB)

ON RECOGNITION OF 3-D OBJECTS FROM 2-D IMAGES - PRIMARY SOURCE EDITION

ON THE 'PIANO MOVERS' PROBLEM

ON THE 'PIANO MOVERS' PROBLEM II. GENERAL TECHNIQUES FOR COMPUTING TOPOLOGICAL PROPERTIES OF RAL ALGEBRAIC MANIFOLDS

ON THE 'PIANO MOVERS' PROBLEM II. GENERAL TECHNIQUES FOR COMPUTING TOPOLOGICAL PROPERTIES OF RAL ALGEBRAIC MANIFOLDS (HB)

ON THE CASE OF THE PIANO MOVERS' PROBLEMS

ON THE CASE OF THE PIANO MOVERS' PROBLEMS (HB)

ON THE PIANO MOVERS' PROBLEM

ON THE PIANO MOVERS' PROBLEM

ON THE PIANO MOVERS' PROBLEM (HB)

ON THE PIANO MOVERS' PROBLEMS

PRELIMINARY THOUGHTS ON ULTRACOMPUTER PROGRAMMING STYLE (CLASSIC REPRINT)

ROBOTICS RESEARCH TECHNICAL REPORT

ROBOTICS RESEARCH TECHNICAL REPORT

SOME REMARKS ON ROBOT VISION

SOME REMARKS ON ROBOT VISION (CLASSIC REPRINT)

SOME REMARKS ON ROBOT VISION (HB)

THE LIMITS OF ARTIFICIAL INTELLIGENCE

THE LIMITS OF ARTIFICIAL INTELLIGENCE (CLASSIC REPRINT)

THE LIMITS OF ARTIFICIAL INTELLIGENCE (HB)

THE LIMITS OF ARTIFICIAL INTELLIGENCE...

TWO DIMENSIONAL MODEL BASED BOUNDARY MATCHING USING FOOTPRINTS

TWO DIMENSIONAL MODEL BASED BOUNDARY MATCHING USING FOOTPRINTS (HB)