Examinando Compilers 161 - 180 de 2069 resultados

Libro electrónico
Tests and Proofs
14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
- 1st Edición
- Wolfgang Ahrendt; ‎Heike Wehrheim
- Springer
- Diseño ajustable
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Spring Quick Reference Guide
A Pocket Handbook for Spring Framework, Spring Boot, and More
- Adam L. Davis
- Apress
- Diseño ajustable
A partir de:$270.46 MXN
Ver detalles

Libro electrónico
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings
- 1st Edición
- Salem Benferhat; ‎Philippe Besnard
- Springer
- Diseño fijo
A partir de:$535.51 MXN
Ver detalles

Libro electrónico
Objects and Databases
International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers
- 1st Edición
- Klaus R. Dittrich; ‎Giovanna Guerrini; ‎Isabella Merlo
- Springer
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Agent-Oriented Programming
From Prolog to Guarded Definite Clauses
- Matthew M. Huntbach; Graem A. Ringwood
- Springer
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Component-Based Software Engineering
11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
- 1st Edición
- Michel R. V. Chaudron; Clemens Szyperski; Ralf H. Reussner
- Springer
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Optimized ASIP Synthesis from Architecture Description Language Models
- Oliver Schliebusch; Heinrich Meyr; Rainer Leupers
- Springer
- Diseño fijo
A partir de:$535.51 MXN
Ver detalles

Libro electrónico
Tools and Algorithms for the Construction and Analysis of Systems
23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
- Author
- Springer
- Diseño ajustable
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Verification Methodology Manual for SystemVerilog
- Janick Bergeron; Eduard Cerny; Alan Hunter; Andy Nightingale
- Springer
- Diseño fijo
A partir de:$589.61 MXN
Ver detalles

Libro electrónico
Hardware Verification with C++
A Practitioner’s Handbook
- Mike Mintz; Robert Ekendahl
- Springer
- Diseño fijo
A partir de:$589.61 MXN
Ver detalles

Libro electrónico
Collaboration between Human and Artificial Societies
Coordination and Agent-Based Distributed Computing
- 1st Edición
- Julian A. Padget
- Springer
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
- 1st Edición
- Koushik Sen; ‎Sarfaz Khurshid
- Springer
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Functional and Logic Programming
4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
- 1st Edición
- A. Middeldorp; Taisuke Satō
- Springer
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Reuse in Emerging Software Engineering Practices
19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings
- 1st Edición
- Sihem Ben Sassi; Stéphane Ducasse; Hafedh Mili
- Springer
- Diseño ajustable
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Macromedia Director
Multimediaprogrammierung mit Lingo
- Klemens Hübner; Hans Seifert
- Springer
- Diseño fijo
A partir de:$243.42 MXN
Ver detalles

Libro electrónico
Automatic Re-engineering of Software Using Genetic Programming
- Conor Ryan
- Springer
- Diseño ajustable
A partir de:$535.51 MXN
Ver detalles

Libro electrónico
Developments in Reliable Computing
- 1st Edición
- Tibor Csendes
- Springer
- Diseño fijo
A partir de:$535.51 MXN
Ver detalles

Libro electrónico
Fundamental Approaches to Software Engineering
4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6. 2001 Proceedings
- 1st Edición
- Heinrich Hussmann
- Springer
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Profikurs Eclipse 3
Mit Eclipse und Plugins professionell Java-Anwendungen entwickeln — Von UML bis JUnit
- Gottfried Wolmeringer
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:$297.51 MXN
Ver detalles

Libro electrónico
Mobile Computation with Functions
- Zeliha Dilsun Kirli
- Springer
- Diseño fijo
A partir de:$535.51 MXN
Ver detalles