Sökt på: Serie nato asi subseries f:
totalt 207 träffar
Robotics and Artificial Intelligence
Dr. Lester A. Gerhardt Professor and Chairman Electrical, Computer, and Systems Engineering Rensselaer Polytechnic Institute Troy, New York 12180 This book is a collection of …
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new …
Integrating Advanced Technology into Technology Education
Technology is a dynamic field in which new developments take place continuously. Education traditionally lacks behind the latest developments in this subject area. Therefore it is …
Emergent Computing Methods in Engineering Design
This volume contains the text of papers presented at the NATO Advanced Research Workshop on Emergent Computing Methods in Engineering Design, held in Nafplio, Greece, August 25-27, …
Pyramidal Systems for Computer Vision
This book contains the proceedings of the NATO Advanced Research Workshop held in Maratea (Italy), May 5-9, 1986 on Pyramidal Systems for Image Processing and Computer Vision. We …
Deductive Program Design
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical …
Logics and Models of Concurrent Systems
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as …
Designing Computer-Based Learning Materials
This book should be of value to all those who are considering the use of or have only just begun to use the computer as a learning aid, regardless of the educational level and the …
Modelling, Robustness and Sensitivity Reduction in Control Systems
Historically, one of the basic issues in control systems design has been robustness: the ability of a controlled plant to withstand variations in or lack of knowledge of its …
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new …
Student Modelling: The Key to Individualized Knowledge-Based Instruction
This book is the result of a NATO sponsored workshop entitled "Student Modelling: The Key to Individualized Knowledge-Based Instruction" which was held May 4-8, 1991 at Ste. Adele, …
Computational Mathematical Programming
This book contains the written versions of main lectures presented at the Advanced Study Institute (ASI) on Computational Mathematical Programming, which was held in Bad Windsheim, …