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

Dependable Computing and Fault-Tolerant Systems: Principles and Practice

Problem Solving For Engineers and Scientists: A Creative Approach

Quaternary Quadratic Forms: Computer Generated Tables

A System V Guide to UNIX and XENIX

Computer Integrated Experimentation

Chemical Information 2: Information in Chemistry, Pharmacology and Patents 2nd Proceedings of the International Conference, Montreux, Switzerland, September 1990

Software Development in Chemistry 5: Proceedings of the 5th Workshop “Computers in Chemistry Oldenburg, November 21–23, 1990

Theory of Macroscopic Systems: A Unified Approach for Engineers, Chemists and Physicists

Thermal Dosimetry and Treatment Planning