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

Music Education: An Artificial Intelligence Approach: Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh, Scotland, 25 August 1993

Directions in Safety-Critical Systems Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

Public Data Networks: From Separate PDNs to the ISDN

Responsive Computer Systems

Fractals in Science: An Introductory Course