Examinando Compilers 841 - 860 de 2094 resultados

Libro electrónico
Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
SDL 2013: Model Driven Dependability Engineering
16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Technologies for Embedded and Ubiquitous Systems
8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings
- 1st Edición
- Theo Ungerer; Robert Pettit; Sang Lyul Min
- Springer
- Diseño fijo
A partir de:S/ 56.88 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/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
- Springer
- Diseño ajustable
A partir de:S/ 56.88 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/ 51.71 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.54 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.71 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Languages and Compilers for Parallel Computing
12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings
- 1st Edición
- Carter Larry; Ferrante Jeanne
- Springer
- Diseño fijo
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Development for SAP R/3®
Data Dictionary, ABAP/4®, Interfaces
- Ulrich Mende
- Springer
- Diseño fijo
A partir de:S/ 102.38 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Fundamental Approaches to Software Engineering
19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 56.88 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.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education
18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, Trier, Germany, September 8–10, 2025, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Rewriting Logic and Its Applications
12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Beginning HCL Programming
Using Hashicorp Language for Automation and Configuration
- Pierluigi Riti; David Flynn
- Apress
- Diseño ajustable
A partir de:S/ 51.71 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Multi-Agent Programming:
Languages, Tools and Applications
- 1st Edición
- Rafael H. Bordini; ‎Mehdi Dastani;‎ Jürgen Dix
- Springer
- Diseño fijo
A partir de:S/ 112.72 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Essential TypeScript 4
From Beginner to Pro
- 2nd Edición
- Adam Freeman
- Apress
- Diseño ajustable
A partir de:S/ 72.39 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
- 1st Edición
- Mark Aagaard; John Harrison
- Springer
- Diseño fijo
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Engineering and Formal Methods
12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 56.88 PENEl precio incluye IGV
Ver detalles