Learn IT - Amazing Books

The Transplantation and Replacement of Thoracic Organs: The Present Status of Biological and Mechanical Replacement of the Heart and Lungs

Springer, 1997

It is a great pleasure for me to contribute a few words as an achieved by many heart transplant centers and the ever improving results of lung transplantation and the functioning of mechanical introduction to the second edition of this volume, first published in 1990 when it was edited by David Cooper and Dimitri cardiac assist devices....

Algorithms for Computer Algebra

Springer, 1992

Algorithms for Computer Algebra is the first comprehensive textbook to be published on the topic of computational symbolic mathematics. The book first develops the foundational material from modern algebra that is required for subsequent topics. It then presents a thorough development of modern computational algorithms for such...

Foundations of Knowledge Acquisition:: Machine Learning (The International Series in Engineering and Computer Science)

Springer, 1993

The two volumes of Foundations of Knowledge Acquisition document the recent progress of basic research in knowledge acquisition sponsored by the Office of Naval Research. This volume is subtitled Machine Learning, and there is a companion volume subtitled Cognitive Models of Complex Learning. Funding was provided by a five-year Accelerated...

Parallel Algorithm Derivation and Program Transformation

Springer, 1993

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little...

The Testability of Distributed Real-Time Systems

Springer, 1993

The Testability of Distributed Real-Time Systems starts by collecting and analyzing all principal problems, as well as their interrelations that one has to keep in mind wh4en testing a distributed real-time system. The book discusses them in some detail from the viewpoints of software engineering, distributed systems principles, and real-time...

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems

Springer, 1994

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and...

Foundations of Dependable Computing: Paradigms for Dependable Applications

Springer, 1994

Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book...

Foundations of Dependable Computing: System Implementation

Springer, 1994

Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and...

The Designer's Guide to SPICE and Spectre® (The Designer's Guide Book Series)

Springer, 1995

The Designer's Guide to SPICE and Spectre® is an in-depth guide to circuit simulators from a designer's perspective: the pitfalls of circuit simulation, such as convergence and accuracy problems, are explained in terms a circuit designer is comfortable with. The book gives designers insight into why these problems occur and how to...

Fuzzy Logic and Intelligent Systems (International Series in Intelligent Technologies)

Springer, 1995

One of the attractions of fuzzy logic is its utility in solving many real engineering problems. As many have realised, the major obstacles in building a real intelligent machine involve dealing with random disturbances, processing large amounts of imprecise data, interacting with a dynamically changing environment, and coping with uncertainty....

Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism

Springer, 1995

Real-time computer systems are very often subject to dependability requirements because of their application areas. Fly-by-wire airplane control systems, control of power plants, industrial process control systems and others are required to continue their function despite faults. Fault-tolerance and real-time requirements thus constitute a...

Object-Oriented Behavioral Specifications

Springer, 1996

Object-Oriented Behavioral Specifications encourages builders of complex information systems to accelerate their move to using the approach of a scientific discipline in analysis rather than the approach of a craft. The focus is on understanding customers' needs and on precise specification of understanding gained through analysis....

Result Page: Previous 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 Next