Scientific Computation with Automatic Result Verification

CGM and CGI: Metafile and Interface Standards for Computer Graphics

Reduce: Software for Algebraic Computation

Large Scale Scientific Computing

CGM in the Real World

Coding Microbiological Data for Computers

Distributed Operating Systems: Theory and Practice

Real-Time Object Measurement and Classification

Pyramidal Systems for Computer Vision

Designing Computer-Based Learning Materials

Robotics and Artificial Intelligence

Computer Architectures for Spatially Distributed Data

Advanced Information Technologies for Industrial Material Flow Systems

Hartree-Fock Ab Initio Treatment of Crystalline Systems

Petri Nets: An Introduction

Data Structures and Algorithms 1: Sorting and Searching

Parsing Theory: Volume I Languages and Parsing

Introduction to Parallel and Vector Solution of Linear Systems

Attitudes and Behavioral Decisions

Use and Impact of Computers in Clinical Medicine

Computer-Assisted Medical Decision Making

Implementing Health Care Information Systems

Mathematical Aspects of Scientific Software