Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Erweiterte
Suche

Artikel

Ergebnisse zu
Compilerbau

Suche verfeinern

Darstellung

Sortierung

je Seite

Sprache

Jahr

Medienart

Fundamentals of Software Engineering

Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

von Farhad Arbab; Marjan Sirjani

Buch | Softcover

2012 | Auflage: 1 | Springer Berlin

ISBN: 9783642293191

CHF 89,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

New Directions in Logic, Language, and Computation

ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers

von Daniel Lassiter; Marija Slavkovik

Buch | Softcover

2012 | Auflage: 1 | Springer Berlin

ISBN: 9783642314667

CHF 68,⁹⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Theoretical Aspects of Computing - ICTAC 2012

9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings

von Abhik Roychoudhury; Meenakshi D´Souza

Buch | Softcover

2012 | Auflage: 1 | Springer Berlin

ISBN: 9783642329425

CHF 68,⁹⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 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 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

von Francesco Logozzo; Doron A. Peled; Leonore D. Zuck

Buch | Softcover

2008 | Auflage: 1 | Springer Berlin

ISBN: 9783540781622

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

von Karen Yorav

Buch | Softcover

2008 | Auflage: 1 | Springer Berlin

ISBN: 9783540779643

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Model Checking Software

15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

von Klaus Havelund; Rupak Majumdar; Jens Palsberg

Buch | Softcover

2008 | Auflage: 1 | Springer Berlin

ISBN: 9783540851134

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

PASCAL for Programmers

von S. Eisenbach; C. Sadler

Buch | Softcover

1981 | Auflage: 1 | Springer Berlin

ISBN: 9783540104735

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

A Survey of Verification Techniques for Parallel Programs

von Howard Barringer

Buch | Softcover

1985 | Auflage: 1 | Springer Berlin

ISBN: 9783540152392

CHF 34,⁴⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Requirements Engineering: Foundation for Software Quality

15th International Working Conference, REFSQ 2009 Amsterdam, The Netherlands, June 8-9, 2009 Proceedings

von Martin Glinz; Patrick Heymans

Buch | Softcover

2009 | Auflage: 1 | Springer Berlin

ISBN: 9783642020490

CHF 104,⁸⁰ (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

XML for Bioinformatics

von Ethan Cerami

Buch | Hardcover

2005 | Springer-Verlag New York Inc.

ISBN: 9780387230283

CHF 134,⁸⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

von Roberto Giacobazzi

Buch | Softcover

2004 | Auflage: 1 | Springer Berlin

ISBN: 9783540227915

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Language and Automata Theory and Applications

Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers

von Carlos Martin-Vide; Friedrich Otto; Henning Fernau

Buch | Softcover

2008 | Auflage: 1 | Springer Berlin

ISBN: 9783540882817

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Foundations of Software Science and Computational Structures

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

von Luke Ong

Buch | Softcover

2010 | Auflage: 1 | Springer Berlin

ISBN: 9783642120312

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Formal Engineering for Industrial Software Development

Using the SOFL Method

von Shaoying Liu

Buch | Softcover

2010 | Auflage: 1 | Springer Berlin

ISBN: 9783642058271

CHF 134,⁷⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Compiler Design

Virtual Machines

von Reinhard Wilhelm; Helmut Seidl

Buch | Hardcover

2010 | Auflage: 1 | Springer Berlin

ISBN: 9783642149085

CHF 104,⁸⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Testing Techniques in Software Engineering

Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

von Paulo Borba; Ana Cavalcanti; Augusto Sampaio; Jim..

Buch | Softcover

2010 | Auflage: 1 | Springer Berlin

ISBN: 9783642143342

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Software Engineering with OBJ

Algebraic Specification in Action

von Joseph A. Goguen; Grant Malcolm

Buch | Hardcover

2000 | Springer

ISBN: 9780792377573

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Ergebnisse zu Compilerbau

Ergebnisse zu
Compilerbau