Examinando Compilers 821 - 840 de 2103 resultados

Libro electrónico
Exploring C++20
The Programmer's Introduction to C++
- 3rd Edición
- Ray Lischner
- Apress
- Diseño ajustable
A partir de:S/ 85.49 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
- Domenico Cantone; Eugenio Omodeo; Alberto Policriti
- Springer
- Diseño fijo
A partir de:S/ 159.92 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.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
- 1st Edición
- Burkhart Wolff; Fatiha Zaidi
- Springer
- Diseño fijo
A partir de:S/ 55.32 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.32 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.46 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
- 1st Edición
- Julian Bradfield
- Springer
- Diseño fijo
A partir de:S/ 99.57 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.06 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
- 1st Edición
- Tiziana Margaria; ‎Bernhard Steffen
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Languages, Compilers, and Tools for Embedded Systems
ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June 18, 2000, Proceedings
- 1st Edición
- Jack Davidson; ‎Sang Lyul Min
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Inductive Logic Programming
28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.32 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/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Methodology
- 1st Edición
- Annabelle McLver; Carroll Morgan
- Springer
- Diseño fijo
A partir de:S/ 99.57 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Ant: The Definitive Guide
Complete Build Management for Java
- 2nd Edición
- Steve Holzner
- O'Reilly Media
- Diseño fijo
S/ 120.66 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
- 1st Edición
- Jose L. Fiadeiro
- Springer
- Diseño fijo
A partir de:S/ 55.32 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/ 35.20 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Learn C++ for Game Development
- Bruce Sutherland
- Apress
- Diseño ajustable
A partir de:S/ 80.46 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automatic Program Development
A Tribute to Robert Paige
- 1st Edición
- Olivier Danvy; ‎Fritz Henglein; ‎Harry Mairson
- Springer
- Diseño fijo
A partir de:S/ 99.57 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Coding Interviews
Questions, Analysis & Solutions
- Harry He
- Apress
- Diseño fijo
A partir de:S/ 80.46 PENEl precio incluye IGV
Ver detalles