Computer Science
-
Intraoperative Ultrasound Imaging in Neurosurgery: Comparison with CT and MRI -
Supercomputing: Applications, Algorithms, and Architectures For the Future of Supercomputing -
Numerical Solutions of the Euler Equations for Steady Flow Problems -
Science and Religion: One World — Changing Perspectives on Reality -
Cache and Interconnect Architectures in Multiprocessors -
11th International Conference on Magnet Technology (MT-11): Volume 1 -
Manprint: An Approach to Systems Integration -
PC Viruses: Detection, Analysis and Cure -
The Craft of Text Editing: Emacs for the Modern World -
SBus: Information, Applications, and Experience -
Surgical Research: Basic Principles and Clinical Practice -
Arrays, Functional Languages, and Parallel Systems -
Survey of Advanced Microprocessors -
VLSI for Artificial Intelligence and Neural Networks -
Scalable Shared Memory Multiprocessors -
Computer Systems and Software Engineering: State-of-the-art -
Computer Science: Research and Applications -
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada -
Security and Persistence: Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West Germany -
The Computer, the Writer and the Learner -
Dependability: Basic Concepts and Terminology: In English, French, German, Italian and Japanese -
Dependable Computing for Critical Applications -
Fault Tolerance: Principles and Practice -
Problem Solving For Engineers and Scientists: A Creative Approach
