Computer Science
-
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 -
Frontiers in European Radiology -
John von Neumann: Mathematik und Computerforschung — Facetten eines Genies -
Study and Research Guide in Computer Science: Profiles of Universities in the USA -
Analog Circuit Design: Operational Amplifiers, Analog to Digital Convertors, Analog Computer Aided Design -
User Interface Evaluation: A Structured Approach -
User Interface Design: A Structured Approach -
Three-Dimensional Object Recognition from Range Images -
Practical SGML -
Validation Numerics: Theory and Applications -
A Guide to VHDL -
Multimedia/Hypermedia in Open Distributed Environments: Proceedings of the Eurographics Symposium in Graz, Austria, June 6–9, 1994
