hintergrundbild
logo
logo
Suchfeld einblenden
ISBN / EAN
Nachname
Vorname
Titel
Reihe
Schlagwort
und   oder
Index
Verlag
Ersch.-Jahr
bis
Katalog
Rezensent
Person Abramsky, Samson
3 Treffer
Seite < 1 >
Cover

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

Cover

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

Cover

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

Seite < 1 >
Projekte . Kooperationen