This volume contains the proceedings of Analysis and Design of Hybrid Systems 2006: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems...
Analysis within the Systems Development Life-Cycle: Book 4, Activity Analysis—The Methods describes the techniques and concepts for carrying out...
There has been a common perception that computational complexity is a theory of "bad news" because its most typical results assert that various...
Computer Programming and Formal Systems
Constructive Order Types
These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the...
Contributions to Non-Standard Analysis
The Guide to Human Genome Computing is invaluable to scientists who wish to make use of the powerful computing tools now available to assist them in...
Identification and System Parameter Estimation 1982 covers the proceedings of the Sixth International Federation of Automatic Control (IFAC) Symposium...
The Manual of Engineering Drawing has long been recognised as the student and practising engineer's guide to producing engineering drawings that...