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)

AN EMPIRICAL COMPARISON OF MONITORING ALGORITHMS FOR ACCESS ANOMALY DETECTION

AN EMPIRICAL COMPARISON OF MONITORING ALGORITHMS FOR ACCESS ANOMALY DETECTION (HB)

AN EVALUATION OF MONITORING ALGORITHMS FOR ACCESS ANOMALY DETECTION

AN EVALUATION OF MONITORING ALGORITHMS FOR ACCESS ANOMALY DETECTION (HB)

COMPUTATIONAL LOGIC AND SET THEORY (PB)

DREAMWORLD

DREAMWORLD'

EFFICIENT JAVA (PB)

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

MEMORY MANAGEMENT IN SYMUNIX II (HB)

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

OBJECT RECOGNITION BY AFFINE INVARIANT MATCHING (HB)

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 (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

ON-THE-FLY DETECTION OF ACCESS ANOMALIES

ON-THE-FLY DETECTION OF ACCESS ANOMALIES (CLASSIC REPRINT)

ON-THE-FLY DETECTION OF ACCESS ANOMALIES (HB)

PRELIMINARY THOUGHTS ON ULTRACOMPUTER PROGRAMMING STYLE (CLASSIC REPRINT)

ROBOTICS REPORT TECHNICAL REPORT

ROBOTICS RESEARCH TECHNICAL REPORT

SOLVING JIGSAW PUZZLES USING COMPUTER VI (HB)

SOLVING JIGSAW PUZZLES USING COMPUTER VISION

SOLVING JIGSAW PUZZLES USING COMPUTER VISION

SOLVING JIGSAW PUZZLES USING COMPUTER VISION

SOLVING JIGSAW PUZZLES USING COMPUTER VISION (HB)

SOLVING JIGSAW PUZZLES USING COMPUTER VISION (HB)

SOLVING JIGSAW PUZZLES USING COMPUTER VISION (PB)

SOLVING JIGSAW PUZZLES USING COMPUTER VISION - PRIMARY SOURCE EDITION

SOME REMARKS ON ROBOT VISION

SOME REMARKS ON ROBOT VISION (CLASSIC REPRINT)

SOME REMARKS ON ROBOT VISION (HB)

THE EFFICIENT TERMINATION OF ADA TASKS IN A DISTRIBUTED ENVIRONMENT

THE EFFICIENT TERMINATION OF ADA TASKS IN A DISTRIBUTED ENVIRONMENT (HB)

THE EFFICIENT TERMINATION OF ADA TASKS IN A MULTIPROCESSOR ENVIRONMENT

THE EFFICIENT TERMINATION OF ADA TASKS IN A MULTIPROCESSOR ENVIRONMENT (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