Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Erweiterte
Suche

Artikel

Ergebnisse zu
Compilerbau

Suche verfeinern

Darstellung

Sortierung

je Seite

Sprache

Jahr

Medienart

Model Checking Software

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

von Ezio Bartocci; C. R. Ramakrishnan

Buch | Softcover

2013 | Auflage: 1 | Springer Berlin

ISBN: 9783642391750

CHF 79,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Pattern Calculus

Computing with Functions and Structures

von Barry Jay

Buch | Softcover

2014 | Auflage: 1 | Springer Berlin

ISBN: 9783642426018

CHF 249,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Unifying Theories of Programming

4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

von Burkhard Wolff; Marie-Claude Gaudel; Abderrahmane..

Buch | Softcover

2013 | Auflage: 1 | Springer Berlin

ISBN: 9783642357046

CHF 68,⁹⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Transactions on Aspect-Oriented Software Development X

von Gary T. Leavens; Shigeru Chiba; Éric Tanter

Buch | Softcover

2013 | Auflage: 1 | Springer Berlin

ISBN: 9783642369636

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Scala for Java Developers

A Practical Primer

von Toby Weston

Buch | Softcover

2017 | Apress

ISBN: 9781484231074

CHF 49,⁴⁰ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

The Python Workbook

A Brief Introduction with Exercises and Solutions

von Ben Stephenson

Buch | Softcover

2016 | Auflage: 1 | Springer International Publishing

ISBN: 9783319385617

CHF 67,³⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Foundations of Software Science and Computation Structures

19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016,..

von Bart Jacobs; Christof Löding

Buch | Softcover

2016 | Auflage: 1 | Springer Berlin

ISBN: 9783662496299

CHF 109,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Normalization and Partial Evaluation of Functional Logic Programs

von Björn Peemöller

Buch | Hardcover

2017 | Auflage: 1 | BoD – Books on Demand

ISBN: 9783744821926

CHF 27,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

von E. Allen Emerson; Kedar S. Namjoshi

Buch | Softcover

2005 | Auflage: 1 | Springer Berlin

ISBN: 9783540311393

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga,..

von Helmut Seidl

Buch | Softcover

2007 | Auflage: 1 | Springer Berlin

ISBN: 9783540713883

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Fundamentals of Algebraic Graph Transformation

von Hartmut Ehrig; Karsten Ehrig; Ulrike Prange;..

Buch | Hardcover

2006 | Auflage: 1 | Springer Berlin

ISBN: 9783540311874

CHF 179,⁷⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Visual Languages and Applications

von Kang Zhang

Buch | Hardcover

2007 | Springer-Verlag New York Inc.

ISBN: 9780387298139

CHF 164,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Verification, Model Checking, and Abstract Interpretation

8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

von Byron Cook; Andreas Podelski

Buch | Softcover

2007 | Auflage: 1 | Springer Berlin

ISBN: 9783540697350

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Applications of Declarative Programming and Knowledge Management

15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming,..

von Dietmar Seipel; Michael Hanus; Ulrich Geske; Oskar..

Buch | Softcover

2005 | Auflage: 1 | Springer Berlin

ISBN: 9783540255604

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Static Analysis

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

von Chris Hankin; Igor Siveroni

Buch | Softcover

2005 | Auflage: 1 | Springer Berlin

ISBN: 9783540285847

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

von Eerke A. Boiten; Bernhard Möller

Buch | Softcover

2002 | Auflage: 1 | Springer Berlin

ISBN: 9783540438571

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Workload Characterization of Emerging Computer Applications

von Lizy Kurian John; Ann Marie Grizzaffi Maynard

Buch | Hardcover

2001 | Springer

ISBN: 9780792373155

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Component-Based Software Engineering

11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings

von Michel R. V. Chaudron; Clemens Szyperski; Ralf H...

Buch | Softcover

2008 | Auflage: 1 | Springer Berlin

ISBN: 9783540878902

CHF 112,³⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Scalable Uncertainty Management

Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008, Proceedings

von Sergio Greco

Buch | Softcover

2008 | Auflage: 1 | Springer Berlin

ISBN: 9783540879923

CHF 112,³⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Advances in Natural Language Processing

6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, Proceedings

von Aarne Ranta; Bengt Nordström

Buch | Softcover

2008 | Auflage: 1 | Springer Berlin

ISBN: 9783540852865

CHF 127,³⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Ergebnisse zu Compilerbau

Ergebnisse zu
Compilerbau