Logics of Programs : Workshop Carnegie Mellon University Pittsburgh,PA, June 6-8, 1983
Advances in Petri Nets 1984
Advances in Cryptology : Proceedings of EUROCRYPT 84. A Workshop on the Theory and Application of Cryptographic Techniques - Paris,France, April 9-11
Category Theory and Computer Programming : Tutorial and Workshop,Guildford, U.K., September 16 - 20, 1985. Proceedings
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science,Passau, FRG, February 19-21, 1987
Networking in Open Systems : International Seminar Oberlech,Austria, August 1986. Proceedings
PARLE Parallel Architectures and Languages Europe : Vol.1: Parallel Architectures,Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
PARLE Parallel Architectures and Languages Europe : Vol. 2: Parallel Languages,Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
Functional Programming Languages and Computer Architecture : Portland,Oregon, USA, September 14-16, 1987. Proceedings
Modelling Computing Systems : Mathematics for Computer Science
Essential UMLTm fast : Using SELECT Use Case Tool for Rapid Applications Development
Foundations of F#
