Examinando Compilers 841 - 860 de 2077 resultados

Libro electrónico
Introduction to Software Design with Java
- Martin P. Robillard
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Principles of Modeling
Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Grid Computing - GRID 2001
Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings
- 1st Edición
- Craig A. Lee
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Principles and Practice of Constraint Programming - CP 2001
7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings
- 1st Edición
- ToWalsh
- Springer
- Diseño fijo
A partir de:S/ 99.30 PENEl precio incluye IGV
Ver detalles

Libro electrónico
C++-Metaprogrammierung
Eine Einführung in die Präprozessor- und Template-Metaprogrammierung
- Jürgen Lemke
- Springer Vieweg
- Diseño fijo
A partir de:S/ 50.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Handbook of Formal Languages
Volume 2. Linear Modeling: Background and Application
- Author
- Springer
- Diseño fijo
A partir de:S/ 239.73 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic Programming
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
- 1st Edición
- Peter J. Stuckey
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Information and Communication Technologies in Education, Research, and Industrial Applications
11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Swift 3 for Absolute Beginners
- 3rd Edición
- Gary Bennett; Brad Lees
- Apress
- Diseño fijo
A partir de:S/ 45.14 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Answer Set Programming
- Vladimir Lifschitz
- Springer
- Diseño ajustable
A partir de:S/ 70.21 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Prozessübergreifendes Projektmanagement
Grundlagen erfolgreicher Projekte
- 1st Edición
- Gerhard Versteegen
- Springer
- Diseño fijo
A partir de:S/ 30.09 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Abstract Computing Machines
A Lambda Calculus Perspective
- Werner Kluge
- Springer
- Diseño fijo
A partir de:S/ 99.30 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Languages and Compilers for Parallel Computing
29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theoretical Aspects of Computer Software
4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings
- 1st Edición
- Naoki Kobayashi; Benjamin C. Pierce
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Reuse: Bridging with Social-Awareness
15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles