Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Erweiterte
Suche

Artikel

Ergebnisse zu
Compilerbau

Suche verfeinern

Darstellung

Sortierung

je Seite

Sprache

Jahr

Medienart

Estimation of Distribution Algorithms

A New Tool for Evolutionary Computation

von Pedro Larrañaga; José A. Lozano

Buch | Hardcover

2001 | Kluwer Academic Publishers

ISBN: 9780792374664

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings

von Lenore D. Zuck; Paul D. Attie; Agostino Cortesi;..

Buch | Softcover

2002 | Springer Berlin

ISBN: 9783540003489

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Retargetable Compiler Technology for Embedded Systems

Tools and Applications

von Rainer Leupers; Peter Marwedel

Buch | Hardcover

2001 | Kluwer Academic Publishers

ISBN: 9780792375784

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Transactions on High-Performance Embedded Architectures and Compilers IV

von Per Stenström

Buch | Softcover

2011 | Springer Berlin

ISBN: 9783642245671

CHF 104,⁸⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Semantic Integration of Heterogeneous Software Specifications

von Martin Große-Rhode

Buch | Softcover

2010 | Springer Berlin

ISBN: 9783642073069

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Recent Advances in Formal Languages and Applications

von Zoltán Ésik; Carlos Martin-Vide; Victor Mitrana

Buch | Softcover

2010 | Springer Berlin

ISBN: 9783642070099

CHF 289,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Verified Software: Theories, Tools, Experiments

Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings

von Gary T. Leavens; Peter O'Hearn; Sriram K Rajamani

Buch | Softcover

2010 | Springer Berlin

ISBN: 9783642150562

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

The NCL Natural Constraint Language

von Jianyang Zhou

Buch | Hardcover

2012 | Springer Berlin

ISBN: 9783642238444

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-14 Tagen

Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

von Sharon Barner; Ian Harris; Daniel Kroening; Orna..

Buch | Softcover

2011 | Springer Berlin

ISBN: 9783642195822

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Testing Software and Systems

23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

von Burkhart Wolff; Fatiha Zaidi

Buch | Softcover

2011 | Springer Berlin

ISBN: 9783642245794

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Ergebnisse zu Compilerbau

Ergebnisse zu
Compilerbau