Computer Science
-
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 -
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 -
Electroslag Technology -
Advances in Computer Technology and Applications in Japan -
Engineering Optimization in Design Processes: Proceedings of the International Conference, Karlsruhe Nuclear Research Center, Germany, September 3–4, 1990 -
Recent Advances in Engineering Science: A Symposium dedicated to A. Cemal Eringen June 20–22, 1988, Berkeley, California -
Modeling in Computer Graphics: Proceedings of the IFIP WG 5.10 Working Conference Tokyo, Japan, April 8–12, 1991 -
Supercomputer and Chemistry: IABG Workshop 1989
