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 9783540590484 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
Bezahlte Anzeige
- 0 Ergebnisse
Kleinster Preis: € 2,79, größter Preis: € 98,98, Mittelwert: € 24,35
...
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science, Band 902) - Gordon Plotkin, Mariangiola Dezani-Ciancaglini
(*)
Gordon Plotkin, Mariangiola Dezani-Ciancaglini:
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science, Band 902) - Taschenbuch

ISBN: 354059048X

[SR: 2617581], Taschenbuch, [EAN: 9783540590484], Springer, Springer, Book, [PU: Springer], Springer, Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995 - Proceedings This volume of conference papers addresses such issues as the proof theory of type systems, logic and type systems, typed lambda calculi as models of higher-order computation, the semantics of typed systems, proof verification via type systems, and typed term rewriting systems., 166010031, Informatik, 166008031, IT-Ausbildung & -Berufe, 124, Computer & Internet, 541686, Kategorien, 186606, Bücher, 166022031, Programmierung & Webdesign, 166040031, Entwicklungsumgebungen, 166024031, Programmiersprachen, 166031031, Script-Sprachen, 166045031, Spieleprogrammierung, 166044031, Versionsverwaltung, 166046031, Webdesign, 15095829031, Algorithmen, 124, Computer & Internet, 541686, Kategorien, 186606, Bücher, 189169, Ingenieurwissenschaft & Technik, 189170, Bautechnik & Architektur, 13950271, Bionik, 3308191, Eisenbahn, 189192, Elektrotechnik, 189193, Energietechnik, 3470851, Feuerwehr, 189194, Gen-, Medizin- & Biotechnik, 189197, Hobby & Technikgeschichte, 189204, Informationstechnik, 189205, Kommunikation & Nachrichtentechnik, 189211, Kraftfahrzeugtechnik, 189250, Maschinenbau Allgemein, 189251, Materialien & Gase, 189258, Mechanik, 189259, Meßtechnik, 189260, Normierung, 189264, Philosophie & Technikkritik, 189265, Prüftechnik, 189266, Regelungstechnik, 189267, Robotik, 189268, Schalten, 189269, Schweißen, 747372, Sprengen, 189271, Technisches Zeichnen, 189273, Verfahrenstechnik, 189274, Verschiedenes, 121, Naturwissenschaften & Technik, 541686, Kategorien, 186606, Bücher, 189275, Mathematik, 121, Naturwissenschaften & Technik, 541686, Kategorien, 186606, Bücher, 63381011, Programmieren, 63383011, APIs & Betriebsumgebungen, 63373011, Algorithmen, 63421011, C, 63412011, Einführungen, 135279011, Funktional, 63404011, Grafik & Multimedia, 63069011, Java, 63128011, Netzwerk-Programmierung, 63138011, Plattformübergreifende Programmierung, 63248011, Software-Design & Entwicklung, 63461011, Spiele-Programmierung, 63418011, Sprachen & Tools, 62991011, Computer & Internet, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher

Amazon.de (Intern...
Claudia Gotthardt
Gebraucht. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.)
(*)
Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.):
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Taschenbuch

1995, ISBN: 354059048X

ID: 5896888297

[EAN: 9783540590484], Gebraucht, guter Zustand, [SC: 4.0], [PU: Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer,], INFORMATIK, DATENVERARBEITUNG, Computers & the Internet|Logic Design, Computers & the Internet|Programming|General, Mathematics|Calculus, Mathematics|Logic, VIII, 442 pp., illustrations, 24 cm ISBN 354059048X Sprache: Englisch Gewicht in Gramm: 500, Books

ZVAB.com
Antiquariat Dr. Götzhaber, Luckenbach, Germany [2902446] [Rating: 5 (von 5)]
NOT NEW BOOK. Versandkosten: EUR 4.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.)
(*)
Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.):
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Taschenbuch

1995, ISBN: 354059048X

ID: 58827

VIII, 442 pp., illustrations, 24 cm soft cover ISBN 354059048X Versand D: 4,00 EUR Informatik, Datenverarbeitung, [PU:Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer,]

buchfreund.de
ANTIQUARIAT DR. Götzhaber, 57629 Luckenbach
Versandkosten:Versandkosten innerhalb der BRD. (EUR 4.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.)
(*)
Dezani-Ciancaglini, Mariangiola and Gordon Plotkin (Eds.):
Typed Lambda Calculi and Applications - Proceedings. Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Lecture Notes in Computer Science ; Vol. 902 - Taschenbuch

1995, ISBN: 354059048X

ID: 58827

VIII, 442 pp., illustrations, 24 cm soft cover ISBN 354059048X Versand D: 3,90 EUR Informatik, Datenverarbeitung, [PU:Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer,]

 buchfreund.de
ANTIQUARIAT DR. Götzhaber, 57629 Luckenbach
Versandkosten:Versandkosten innerhalb der BRD. (EUR 3.90)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Typed Lambda Calculi and Applications - Mariangiola Dezani-Ciancaglini
(*)
Mariangiola Dezani-Ciancaglini:
Typed Lambda Calculi and Applications - Taschenbuch

ISBN: 9783540590484

Paperback, [PU: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG], The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems., Mathematical Theory Of Computation

 BookDepository.com
Versandkosten:Versandkostenfrei. (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: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science, Band 902)

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

Detailangaben zum Buch - Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science, Band 902)


EAN (ISBN-13): 9783540590484
ISBN (ISBN-10): 354059048X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer
460 Seiten
Gewicht: 0,690 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-04-10T17:45:32+02:00 (Berlin)
Detailseite zuletzt geändert am 2019-07-10T08:02:04+02:00 (Berlin)
ISBN/EAN: 9783540590484

ISBN - alternative Schreibweisen:
3-540-59048-X, 978-3-540-59048-4


< zum Archiv...
Benachbarte Bücher