Volltextsuche nutzen

B O O K SCREENER

Aktuelle Veranstaltungen

Events
  • versandkostenfrei ab € 30,–
  • 6x in Wien und Salzburg
  • 6 Mio. Bücher
Menü
Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Static Analysis
Static Analysis

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Veröffentlicht 2012
von Antoine Mine, David Schmidt bei Springer Berlin
ISBN: 978-3-642-33124-4

Taschenbuch 54,99
Herstellung bei Anforderung
The Essence of Computation

Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

The Essence of Computation
The Essence of Computation

Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones

Veröffentlicht 2002
von Torben Mogensen, David Schmidt, I. Hal Sudborough bei Springer Berlin
ISBN: 978-3-540-00326-7

Taschenbuch 54,99
Besorgungstitel
Lieferzeit 1-2 Wochen
Mathematical Foundations of Programming Semantics

9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Mathematical Foundations of Programming Semantics
Mathematical Foundations of Programming Semantics

9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Veröffentlicht 1994
von Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt bei Springer Berlin
ISBN: 978-3-540-58027-0

Taschenbuch 109,99
Besorgungstitel
Lieferzeit 1-2 Wochen
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

Programming Languages and Systems
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

Veröffentlicht 2004
von David Schmidt bei Springer Berlin
ISBN: 978-3-540-21313-0

Taschenbuch 142,99
Besorgungstitel
Lieferzeit 1-2 Wochen
Verification, Model Checking, and Abstract Interpretation

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings

Veröffentlicht 2011
von Ranjit Jhala, David Schmidt bei Springer Berlin
ISBN: 978-3-642-18274-7

Taschenbuch 54,99
Besorgungstitel
Lieferzeit 1-2 Wochen
From «Beowulf» to Caxton

Studies in Medieval Languages and Literature, Texts and Manuscripts

From «Beowulf» to Caxton
From «Beowulf» to Caxton

Studies in Medieval Languages and Literature, Texts and Manuscripts

Veröffentlicht 2011
von A.V.C. Schmidt, David J. Wallace, Tomonori Matsushita bei Peter Lang Group AG, International Academic Publishers
ISBN: 978-3-0343-0104-6

Taschenbuch 79,60
Besorgungstitel
Lieferzeit 1-2 Wochen