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

Computational Aeroacoustics

Algorithmic Trends in Computational Fluid Dynamics

Fault Diagnosis and Fault Tolerance: A Systematic Approach to Special Topics

Operations Research ’93: Extended Abstracts of the 18th Symposium on Operations Research held at the University of Cologne September 1–3, 1993

Software-Bewertung: Ein semantischer Ansatz für Infomationsmaße

Computermathematik