Advances in distributed computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)
/ S. Abramsky ; T. S. E. Maibaum (ed.). - Berlin : Springer, 1991. - VIII, 482 S. : graph. Darst.; 25 cm - (TAPSOFT '91; Vol. 2)
ISBN 978-3-540-53981-0 / 3-540-53981-6 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Colloquium on Trees in Algebra and Programming (CAAP '91)
/ S. Abramsky ; T. S. E. Maibaum (ed.). - Berlin : Springer, 1991. - VIII, 455 S. : graph. Darst.; 25 cm - (TAPSOFT '91; Vol. 1)
ISBN 978-3-540-53982-7 / 3-540-53982-4 kart. : DM 66.00
Literaturangaben
Quelle: DNB
Typed lambda calculi and applications
: 5th international conference ; proceedings / TLCA 2001, Kraków, Poland, May 2 - 5, 2001. S. Abramsky (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2044)
ISBN 978-3-540-45413-7
Lizenzpflichtig
Quelle: DNB