Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540419600 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
Bezahlte Anzeige
- 0 Ergebnisse
Kleinster Preis: € 9,67, größter Preis: € 80,24, Mittelwert: € 61,23
...
Typed Lambda Calculi and Applications - Abramsky, Samson (ed.)
(*)
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 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. 2001. xii, 436 S. XII, 436 p. 233 mm Versandfertig in 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, offene Rechnung (Vorkasse vorbehalten)

booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings - Abramsky, Samson (Herausgeber)
(*)
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 Übersetzer, Programmier- und Skriptsprachen, allgemein, Theoretische Informatik, Rechnerarchitektur und Logik-Entwurf, categorical methods; computational logic; deduction; lambda calculus; logic; logical relations; program logics; program semantics; programming theory; type systems, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]

 Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications - Samson Abramsky
(*)
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 Applications, TLCA 2001, held in Krakow, Poland in May 2001., Calculus & Mathematical Analysis

 BookDepository.com
Versandkosten:Versandkostenfrei. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications: 5th International Conference, Tlca 2001 Krakow, Poland, May 2-5, 2001 Proceedings (Lecture Notes in Computer Science) - Abramsky, Samson [Editor]
(*)
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]

alibris.co.uk
GuthrieBooks
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications - Samson Abramsky
(*)
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]

lehmanns.de
Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

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-07-10T08:02:05+02:00 (Berlin)
ISBN/EAN: 9783540419600

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


< zum Archiv...
Benachbarte Bücher