Examinando Compilers 861 - 880 de 2115 resultados

Libro electrónico
Quantifiers in Action
Generalized Quantification in Query, Logical and Natural Languages
- Antonio Badia
- Springer
- Diseño fijo
A partir de:S/ 102.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Functional Data Structures and Algorithms
A Proof Assistant Approach
- Tobias Nipkow
- ACM Books
- Diseño ajustable
S/ 151.58 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Approaches to Software Testing and Runtime Verification
First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
- 1st Edición
- Klaus Havelund; ‎Manuel Núnez; ‎Grigore Rosu
- Springer
- Diseño fijo
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Constraint Solving and Language Processing
First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
- 1st Edición
- Henning Christiansen; ‎Peter Rossen Skadhauge; ‎Jørgen Villadsen
- Springer
- Diseño fijo
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
OpenMP in the Era of Low Power Devices and Accelerators
9th International Workshop on OpenMP, IWOMP 2013, Canberra, Australia, September 16-18, 2013, Proceedings
- Alistair P. Rendell, Barbara M. Chapman, and Matthias S. Müller (eds.)
- Springer
- Diseño fijo
A partir de:S/ 51.72 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Build iOS Database Apps with Swift and SQLite
- Kevin Languedoc
- Apress
- Diseño fijo
A partir de:S/ 36.21 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Euro-Par 2011 Parallel Processing
17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I
- 1st Edición
- Emmanuel Jeannot; ‎Raymond Namyst; ‎Jean Roman
- Springer
- Diseño fijo
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
- 1st Edición
- Jens Palsberg; ‎Zhendong Su
- Springer
- Diseño fijo
A partir de:S/ 56.90 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/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Virtual Machines
- Iain D. Craig
- Springer
- Diseño fijo
A partir de:S/ 164.48 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on Aspect-Oriented Software Development I
- 1st Edición
- Awais Rashid; ‎Mehmet Aksit
- Springer
- Diseño fijo
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Practical Introduction to PSL
- Cindy Eisner; Dana Fisman
- Springer
- Diseño fijo
A partir de:S/ 164.48 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Symposium on Real-Time and Hybrid Systems
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
- Springer
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Vorlesungen über Informatik
Band 1: Grundlagen und funktionales Programmieren
- 4th Edición
- Gerhard Goos; Wolf Zimmermann
- Springer
- Diseño fijo
A partir de:S/ 10.34 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Dependable and Historic Computing
Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
- 1st Edición
- Cliff B. Jones; John L. Lloyd
- Springer
- Diseño fijo
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Practical Aspects of Declarative Languages
15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 51.72 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Modelling Foundations and Applications
14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Expert Visual C++/CLI
.NET for Visual C++ Programmers
- Marcus Heege
- Apress
- Diseño fijo
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Foundations of Libvirt Development
How to Set Up and Maintain a Virtual Machine Environment with Python
- W. David Ashley
- Apress
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Learn Electronics with Raspberry Pi
Physical Computing with Circuits, Sensors, Outputs, and Projects
- Stewart Watkiss
- Apress
- Diseño fijo
A partir de:S/ 46.55 PENEl precio incluye IGV
Ver detalles