Anmelden
Tipp von eurobuch.de
Suchtools
Aktuelles
Werbung
Bezahlte Anzeige
- 0 Ergebnisse
Kleinster Preis: € 9,67, größter Preis: € 80,24, Mittelwert: € 61,20
1
Typed Lambda Calculi and Applications - Abramsky, Samson (ed.)
Bestellen
bei booklooker.de
€ 60,99
Versand: € 0,00
Abramsky, Samson (ed.):

Typed Lambda Calculi and Applications - Taschenbuch

2001, ISBN: 9783540419600

[ED: Softcover], [PU: Springer, Berlin], This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Kr… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

buecher.de GmbH & Co. KG
2
Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Abramsky, Samson (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 80,24
Versand: € 0,00

Abramsky, Samson (Herausgeber):

Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - neues Buch

2001, ISBN: 3540419608

ID: A2358040

2001 Kartoniert / Broschiert Programmieren (EDV) / Funktional, Mathematische Grundlagen, Mathematische Analysis, allgemein, Computerprogrammierung und Softwareentwicklung, Compiler und … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Typed Lambda Calculi and Applications - Samson Abramsky
Bestellen
bei BookDepository.com
€ 74,87
Versand: € 0,00
Samson Abramsky:
Typed Lambda Calculi and Applications - Taschenbuch

2001

ISBN: 9783540419600

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applic… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00)

Bezahlte Anzeige
4
Bestellen
bei alibris.co.uk
€ 9,67
Abramsky, Samson [Editor]:
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2001, ISBN: 9783540419600

ID: 13631400454

Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments., [PU: Springer]

Versandkosten:zzgl. Versandkosten

GuthrieBooks
5
Typed Lambda Calculi and Applications - Samson Abramsky
Bestellen
bei lehmanns.de
€ 80,24
Versand: € 0,00
Samson Abramsky:
Typed Lambda Calculi and Applications - Taschenbuch

2001, ISBN: 9783540419600

ID: 2754019

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings, 2001, Softcover, Buch, [PU: Springer Berlin]

Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)


Details zum Buch
Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

Detailangaben zum Buch - Typed Lambda Calculi and Applications


EAN (ISBN-13): 9783540419600
ISBN (ISBN-10): 3540419608
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin
431 Seiten
Gewicht: 0,672 kg

Buch in der Datenbank seit 2007-03-20T18:00:30+01:00 (Berlin)
Detailseite zuletzt geändert am 2019-11-04T19:36:43+01:00 (Berlin)
ISBN/EAN: 9783540419600

ISBN - alternative Schreibweisen:
3-540-41960-8, 978-3-540-41960-0


< zum Archiv...