Examinando Compilers 941 - 960 de 2096 resultados

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:$289.02 MXN
Ver detalles

Libro electrónico
Logic, Rationality, and Interaction
7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
- Springer
- Diseño fijo
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Artificial Intelligence in Music, Sound, Art and Design
9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
- 1st Edición
- Juan Romero; Anikó Ekárt; Tiago Martins
- Springer
- Diseño ajustable
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
- 1st Edición
- Herman Geuvers; ‎Freek Wiedijk
- Springer
- Diseño fijo
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Constraint Databases
- 1st Edición
- Gabriel Kuper; Leonid Libkin; Jan Paredaens
- Springer
- Diseño fijo
A partir de:$835.53 MXN
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:$289.02 MXN
Ver detalles

Libro electrónico
Programming Languages and Systems
18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
- 1st Edición
- Giuseppe Castagna
- Springer
- Diseño fijo
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Fast Track to MDX
- 2nd Edición
- Mark Whitehorn; Robert Zare; Mosha Pasumansky
- Springer
- Diseño fijo
A partir de:$367.85 MXN
Ver detalles

Libro electrónico
Nichtsequentielle und Verteilte Programmierung mit Go
Synchronisation nebenläufiger Prozesse: Kommunikation – Kooperation – Konkurrenz
- 5th Edición
- Christian Maurer
- Springer Vieweg
- Diseño ajustable
A partir de:$183.92 MXN
Ver detalles

Libro electrónico
Requirements Engineering: Foundation for Software Quality
18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings
- 1st Edición
- Björn Regnell; Daniela Damian
- Springer
- Diseño fijo
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
The Joys of Hashing
Hash Table Programming with C
- 2nd Edición
- Thomas Mailund
- Apress
- Diseño ajustable
A partir de:$262.75 MXN
Ver detalles

Libro electrónico
A Practical Introduction to PSL
- Cindy Eisner; Dana Fisman
- Springer
- Diseño fijo
A partir de:$835.53 MXN
Ver detalles

Libro electrónico
Goal-Directed Proof Theory
- Dov M. Gabbay; N. Olivetti
- Springer
- Diseño fijo
A partir de:$520.24 MXN
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:$835.53 MXN
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:$289.02 MXN
Ver detalles

Libro electrónico
Agile Artificial Intelligence in Pharo
Implementing Neural Networks, Genetic Algorithms, and Neuroevolution
- Alexandre Bergel
- Apress
- Diseño ajustable
A partir de:$341.57 MXN
Ver detalles

Libro electrónico
Numeric Computation and Statistical Data Analysis on the Java Platform
- Sergei V. Chekanov
- Springer
- Diseño ajustable
A partir de:$520.24 MXN
Ver detalles

Libro electrónico
An Introduction to Object-Oriented Programming in C++
with Applications in Computer Graphics
- 2nd Edición
- Graham M. Seed
- Springer
- Diseño fijo
A partir de:$520.24 MXN
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:$289.02 MXN
Ver detalles