Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Luke Ong Taschenbuch Lecture Notes in Computer Science Book - Taschenbuch
2011, ISBN: 9783642216909
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in … Mehr…
booklooker.de |
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Luke Ong Taschenbuch Lecture Notes in Computer Science Book - Taschenbuch
2011, ISBN: 9783642216909
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in … Mehr…
booklooker.de |
Typed Lambda Calculi and Applications - Taschenbuch
2023, ISBN: 9783642216909
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA… Mehr…
booklooker.de |
2011, ISBN: 9783642216909
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of … Mehr…
Dodax.de Nr. biography. Versandkosten:, Lieferzeit: zwischen 5 - 7 Werktagen Tage, DE. (EUR 0.00) Details... |
Typed Lambda Calculi and Applications - Taschenbuch
2011, ISBN: 9783642216909
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011
lehmanns.de Versandkosten:sofort lieferbar. (EUR 0.00) Details... |
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Luke Ong Taschenbuch Lecture Notes in Computer Science Book - Taschenbuch
2011, ISBN: 9783642216909
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in … Mehr…
Ong, Luke:
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Luke Ong Taschenbuch Lecture Notes in Computer Science Book - Taschenbuch2011, ISBN: 9783642216909
[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in … Mehr…
Typed Lambda Calculi and Applications - Taschenbuch
2023
ISBN: 9783642216909
[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA… Mehr…
2011, ISBN: 9783642216909
This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of … Mehr…
Typed Lambda Calculi and Applications - Taschenbuch
2011, ISBN: 9783642216909
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Typed Lambda Calculi and Applications
EAN (ISBN-13): 9783642216909
ISBN (ISBN-10): 3642216900
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
245 Seiten
Gewicht: 0,407 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-09-15T09:26:55+02:00 (Berlin)
Detailseite zuletzt geändert am 2022-03-15T13:24:04+01:00 (Berlin)
ISBN/EAN: 3642216900
ISBN - alternative Schreibweisen:
3-642-21690-0, 978-3-642-21690-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ong, lüke
Titel des Buches: novi sad, 2011, regards from serbia, calc, lamb, let over lambda, calculi
Daten vom Verlag:
Autor/in: Luke Ong
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
Verlag: Springer; Springer Berlin
245 Seiten
Erscheinungsjahr: 2011-05-23
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 245 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; classical logic; deduction systems; dependent types; duality of computation; proof nets; Formal Languages and Automata Theory; Mathematics of Computing; Computer Science Logic and Foundations of Programming; Symbolic and Algebraic Manipulation; Artificial Intelligence; Mathematical Logic and Foundations; Mathematik für Informatiker; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; EA
Fast-track conference proceedings State-of-the-art research Up-to-date resultsWeitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030271800 Queueing Theory and Network Applications (Phung-Duc, Tuan Kasahara, Shoji Wittevrongel, Sabine)
- 9783030271800 Queueing Theory and Network Applications (Phung-Duc, Tuan Kasahara, Shoji Wittevrongel, Sabine)
- 9780818688065 COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, Proceedings of The IEEE Computer Society's 11th Annual International (COMPSAC 87), 7-9 October 1987, Tokyo, Japan. (IEEE Computer Society)
- 9780818688737 COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, Proceedings of The IEEE Computer Society's 12th Annual International (COMPSAC 88), 5-7 October 1988, Chicago, Illinois. (IEEE Computer Society)
- 9780769517278 Proceedings 26th Annual International Computer Software and Applications Conference: 26-29 August 2002 Oxford, England (IEEE Computer Society)
- 9780818687273 COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, Proceedings of The IEEE Computer Society's 10th Annual International (COMPSAC 86), 8-10 October 1986, Chicago, Illinois. (IEEE Computer Society)
- 9783540255932 Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings Pawel Urzyczyn Editor (Pawel Urzyczyn)
- Queueing Theory and Network Applications: 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings (Lecture Notes in Computer Science Book 10932) (English Edition) (unknown)
< zum Archiv...