Free Delivery Over $100
4929 books were found.
Constitutes the refereed post-conference proceedings of the 5th IFIP TC 5, SIG 5.1 International Conference on Computer... Read More >>
<p>The exploitation of theoretical results in knowledge representation, language standardization by W3C and data... Read More >>
Read More >>
For the editors of this book, as well as for many other researchers in the area of fault-tolerant computing, Dr.... Read More >>
We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic... Read More >>
A festschrift dedicated to Prof Dr Heinz Gerhauser on the occasion of his retirement both from the position of Executive... Read More >>
While automation is generally accepted as a method of improving system safety and performance, high levels of automation... Read More >>
This view was reinforced at the EG '87 Hardware Workshop in Amsterdam and firmly established the need for such a... Read More >>
Proceedings of the NATO Advanced Research Workshop on Real- Time Object and Environment Measurement and Qualification,... Read More >>
The TRON Association, which was founded as an independent organization in March 1988, has been taking over the activities... Read More >>
CAD (Computer Aided Design) technology is now crucial for every division of modern industry, from a viewpoint of... Read More >>
Jump Time-Delay Systems (JTDS) represent a new class of piece-wise deterministic systems, in which the underlying... Read More >>
Hence, the different source code trans formations developed here lead to impressive performance improvements on... Read More >>
Das zeigt sich bereits bei den Anfängen der Bewegtbildübertragung und setzt sich fort im Ringen um die optimale... Read More >>
The reader will find papers on the mathematical background, on reliability problems in establishments where system... Read More >>
Almost 4 years have elapsed since Dr. Ken Sakamura of The University of Tokyo first proposed the TRON (the realtime... Read More >>
This monograph describes a methodology for the design of knowledge-based systems. In knowledge engineering terms,... Read More >>
Proceedings of the NATO Advanced Study Institute on Numerical Linear Algebra, Digital Signal Processing and Parallel... Read More >>
The origin of the development of integrated circuits up to VLSI is found in the invention of the transistor, which... Read More >>
Data Intensive Computing refers to capturing, managing, analyzing, and understanding data at volumes and rates that... Read More >>
This volume gives a selection of contributions to the first workshop of the Eurographics Working Group on Visualization... Read More >>
The genesis of the NATO Advanced Study Institute (ASI) upon which this volume is based, occurred during the summer... Read More >>
This ESPRIT Basic Research volume provides an overview of two projects intended ""to contribute to making the process... Read More >>
Some of this year's major activities that I would particularly like to mention are: - Over 50 TRON project-related... Read More >>