Related Books

Advances in Intelligent Computing - IPMU '94
Language: en
Pages: 648
Authors: Bernadette Bouchon-Meunier
Categories: Computers
Type: BOOK - Published: 1995-06-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents a topical selection of full refereed research papers presented during the 5th International Conference on Information Processing and Manageme
Types for Proofs and Programs
Language: en
Pages: 220
Authors: Peter Dybjer
Categories: Computers
Type: BOOK - Published: 1995-10-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices o
Spatial Representation and Motion Planning
Language: en
Pages: 260
Authors: Angel P. del Pobil
Categories: Technology & Engineering
Type: BOOK - Published: 1995-11-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is devoted to the development of adequate spatial representations for robot motion planning. Drawing upon advanced heuristic techniques from AI and co
Deductive and Object-Oriented Databases
Language: en
Pages: 580
Authors: Tok W. Ling
Categories: Business & Economics
Type: BOOK - Published: 1995-11-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference on Deductive and Object-Oriented Databases, DOOD '95, held in Singapore in De
Fast Software Encryption
Language: en
Pages: 388
Authors: Bart Preneel
Categories: Computers
Type: BOOK - Published: 1995-10-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains a set of revised refereed papers selected from the presentations at the Second International Workshop on Fast Software Encryption held in Leu