2011, ISBN: 9783642216916
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, eBooks, eBook Download (PDF), This book constitutes the refereed proceedings of the 10th Internati… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2011, ISBN: 9783642216916
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…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2011, ISBN: 9783642216916
Typed Lambda Calculi and Applications ab 53.49 EURO 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Lecture Notes in Computer Science Typed Lambda … Mehr…
eBook.de No. 16851769 Versandkosten:, , DE (EUR 0.00) Details... |
Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - neues Buch
2011, ISBN: 9783642216916
; PDF; Scientific, Technical and Medical > Mathematical foundations, Springer Vienna
hive.co.uk No. 9783642216916. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2011, ISBN: 9783642216916
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2011
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2011, ISBN: 9783642216916
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, eBooks, eBook Download (PDF), This book constitutes the refereed proceedings of the 10th Internati… Mehr…
2011, ISBN: 9783642216916
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…
2011
ISBN: 9783642216916
Typed Lambda Calculi and Applications ab 53.49 EURO 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Lecture Notes in Computer Science Typed Lambda … Mehr…
2011, ISBN: 9783642216916
10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2011
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Typed Lambda Calculi and Applications
EAN (ISBN-13): 9783642216916
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-01-26T10:42:07+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-03-07T11:32:07+01:00 (Vienna)
ISBN/EAN: 9783642216916
ISBN - alternative Schreibweisen:
978-3-642-21691-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: novi sad
Daten vom Verlag:
Autor/in: Luke Ong
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; 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-06-12
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 245 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; classical logic; deduction systems; dependent types; duality of computation; proof nets; C; 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; Computer Science; Mathematik für Informatiker; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; BC
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...