Computer-aided Assembly Planning

The Dynamics of the Computer Industry: Modeling the Supply of Workstations and their Components

Techniques in Rheological Measurement

Design and Production of Multimedia and Simulation-based Learning Material

Wavelet Theory and Application: A Special Issue of the Journal of Mathematical Imaging and Vision

A Guide to VHDL

Symbolic Model Checking

Interactive Computer Systems: Videotex and Multimedia

Systems Science: Addressing Global Issues

Asynchronous Transfer Mode Networks

Distributed and Parallel Database Object Management

Concurrent and Comparative Discrete Event Simulation

Logic Synthesis for Control Automata

The Interaction of Compilation Technology and Computer Architecture

Material Flow Systems in Manufacturing

Nuclear Reactor Engineering: Reactor Systems Engineering

Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology

Theory and Design of Digital Computer Systems

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

7th UK Computer and Telecommunications Performance Engineering Workshop: Edinburgh, 22–23 July 1991

Building Interactive Systems: Architectures and Tools

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994