Examinando Compilers 741 - 760 de 2072 resultados

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.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
- 1st Edición
- Sharon Barner; ‎Ian Harris; ‎Daniel Kroening
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Geographical Information Systems Theory, Applications and Management
4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
- 1st Edición
- Fabrice Kordon; ‎Tullio Vardanega
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Verilog® Hardware Description Language
- 5th Edición
- Donald E. Thomas; Philip R. Moorby
- Springer
- Diseño fijo
A partir de:S/ 89.82 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Foundations of Security, Protocols, and Equational Reasoning
Essays Dedicated to Catherine A. Meadows
- Springer
- Diseño ajustable
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Model-Based Systems Engineering with OPM and SysML
- Dov Dori
- Springer
- Diseño ajustable
A partir de:S/ 70.65 PENEl precio incluye IGV
Ver detalles

Libro electrónico
OpenMP: Enabling Massive Node-Level Parallelism
17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 80.74 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Search Based Software Engineering
5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.51 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/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Beginning MATLAB and Simulink
From Novice to Professional
- Sulaymon Eshkabilov
- Apress
- Diseño ajustable
A partir de:S/ 35.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Gotik und Informatik
Intelligenter Entwurf damals und heute
- Manfred Nagl
- Springer Vieweg
- Diseño fijo
A partir de:S/ 20.18 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Models, Algorithms, Logics and Tools
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.51 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/ 45.42 PENEl precio incluye IGV
Ver detalles

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

Libro electrónico
Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.51 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.91 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Graphical Models for Security
5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Early Aspects: Current Challenges and Future Directions
10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
- 1st Edición
- A. Moreira
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Languages for Embedded Systems and their Applications
Selected Contributions on Specification, Design, and Verification from FDL'08
- Author
- Springer
- Diseño fijo
A partir de:S/ 160.47 PENEl precio incluye IGV
Ver detalles