Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings | 978-3-540-54430-2 (3-540-54430-5) | 2008 | Jos C.M. Baeten |
Semantics of Specification Languages : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993 | 978-3-540-19854-3 (3-540-19854-7) | 1994 | Derek J. Andrews · C.A. Middelburg |
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science , Band 664) | 978-3-540-56517-8 (3-540-56517-5) | 2008 | Marc Bezem |
F -G · J. F. · J. F. Groote · J. G. · Jan Friso Groote