- 5 Ergebnisse
Kleinster Preis: € 118,01, größter Preis: € 172,18, Mittelwert: € 141,44
1
Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - David Schmidt
Bestellen
bei ZVAB.com
£ 104,90
(ca. € 118,01)
Versand: € 12,421
Bestellen
Details beim Anbieter
gesponserter Link
David Schmidt:

Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - Taschenbuch

2004, ISBN: 3540213139

[EAN: 9783540213130], New book, [SC: 12.42], [PU: Springer Berlin Heidelberg], PROGRAMMIERSPRACHEN; MIXIN; ALGORITHM; ALGORITHMS; AUTOMATA; COMPUTERLANGUAGES; FORMALLANGUAGES; LANGUAGEIMP… Mehr…

NEW BOOK. Versandkosten: EUR 12.42 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (of 5)]
zuklappen (X)
2
Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - Schmidt, David (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 144,58
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Schmidt, David (Herausgeber):

Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - neues Buch

2004, ISBN: 3540213139

2004 Kartoniert / Broschiert Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Datenbanken, Theoretische Informatik, Mixin; algorithm; algorithm… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - Schmidt, David (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 133,46
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Schmidt, David (Herausgeber):
Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - neues Buch

2004

ISBN: 3540213139

2004 Kartoniert / Broschiert Programmiersprachen, Computerprogrammierung und Softwareentwicklung, Software Engineering, Datenbanken, Theoretische Informatik, Mixin; algorithm; algorithm… Mehr…

Versandkosten:No shipping costs within Germany. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Programming Languages and Systems
Bestellen
bei Hugendubel.de
€ 138,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Programming Languages and Systems - Taschenbuch

2004, ISBN: 9783540213130

*Programming Languages and Systems* - 13th European Symposium on Programming ESOP 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2004 Barcelo… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 186,25
(ca. € 172,18)
Versand: € 11,961
Bestellen
Details beim Anbieter
gesponserter Link
Schmidt, David A. (Editor)/ European Symposium on Programming 2004/ Schmidt, David A./ Etaps 200 (2004 Barcelona, Spain):
Programming Languages And Systems: 13th European Symposium on Programming, ESOP 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcel - Taschenbuch

2004, ISBN: 9783540213130

Springer-Verlag New York Inc, 2004. Paperback. New. 1st edition. 415 pages. German language. 9.25x6.25x1.00 inches., Springer-Verlag New York Inc, 2004, 6

Versandkosten: EUR 11.96 Revaluation Books
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Programming Languages and Systems
Autor:
Titel:
ISBN-Nummer:

3540213139


This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004.The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems.

Detailangaben zum Buch - Programming Languages and Systems


EAN (ISBN-13): 9783540213130
ISBN (ISBN-10): 3540213139
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer Berlin Heidelberg
432 Seiten
Gewicht: 0,649 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-09T04:38:01+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-18T16:26:55+01:00 (Berlin)
ISBN/EAN: 3540213139

ISBN - alternative Schreibweisen:
3-540-21313-9, 978-3-540-21313-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: schmidt david, david schmid, schmidts, peter held, peter spain, bernhard peter
Titel des Buches: 2004, barcelona, march, esop, european symposium, the practice programming, system, programming systems and languages

Daten vom Verlag:

Autor/in: David Schmidt
Titel: Lecture Notes in Computer Science; Programming Languages and Systems - 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Verlag: Springer; Springer Berlin
420 Seiten
Erscheinungsjahr: 2004-03-18
Berlin; Heidelberg; DE
Sprache: Englisch
139,09 € (DE)
142,99 € (AT)
153,50 CHF (CH)
Available
XII, 420 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Mixin; algorithm; algorithms; automata; computer languages; formal languages; language implementation; logic; polymorphism; program semantics; programming language; programming language design; programming languages; programming systems; programming theory; data structures; Software Engineering; Compilers and Interpreters; Programming Techniques; Data Science; Computer Science Logic and Foundations of Programming; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Datenbanken; Theoretische Informatik; EA

Resources, Concurrency, and Local Reasoning.- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors.- Strong Preservation as Completeness in Abstract Interpretation.- Static Analysis of Digital Filters.- Sound and Decidable Type Inference for Functional Dependencies.- Call-by-Value Mixin Modules.- ML-Like Inference for Classifiers.- From Constraints to Finite Automata to Filtering Algorithms.- A Memoizing Semantics for Functional Logic Languages.- Adaptive Pattern Matching on Binary Data.- Compositional Analysis of Authentication Protocols.- A Distributed Abstract Machine for Boxed Ambient Calculi.- A Dependently Typed Ambient Calculus.- A Control Flow Analysis for Safe and Boxed Ambients.- Linear Types for Packet Processing.- Modal Proofs as Distributed Programs.- ULM: A Core Programming Model for Global Computing.- A Semantic Framework for Designer Transactions.- Semantical Analysis of Specification Logic, 3.- Answer Type Polymorphism in Call-by-Name Continuation Passing.- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types.- A Hardest Attacker for Leaking References.- Trust Management in Strand Spaces: A Rely-Guarantee Method.- Just Fast Keying in the Pi Calculus.- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation.- Functors for Proofs and Programs.- Extracting a Data Flow Analyser in Constructive Logic.- Canonical Graph Shapes.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9781013269882 Programming Languages and Systems (Amal Ahmed)

< zum Archiv...