Examinando Compilers 521 - 540 de 2074 resultados

Libro electrónico
Scala for Java Developers
A Practical Primer
- Toby Weston
- Apress
- Diseño fijo
A partir de:$156.93 MXN
Ver detalles

Libro electrónico
Declarative Agent Languages and Technologies II
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
- 1st Edición
- João Leite; ‎Andrea Omicini; ‎Paolo Torroni
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Practical Aspects of Declarative Languages
13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
- 1st Edición
- Ricardo Rocha; ‎John Launchbury
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Model Checking Software
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
- 1st Edición
- Thomas Ball; ‎Sriram K. Rajamani
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Relational and Algebraic Methods in Computer Science
17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Handbook of Floating-Point Arithmetic
- 2nd Edición
- Jean-Michel Muller; Nicolas Brunie; Florent de Dinechin; Claude-Pierre Jeannerod; Mioara Joldes; Vin
- Birkhäuser
- Diseño ajustable
A partir de:$889.26 MXN
Ver detalles

Libro electrónico
Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Programming Languages and Systems
23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Formal Methods for Industrial Critical Systems
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Beginning C++
- 4th Edición
- Ivor Horton
- Apress
- Diseño ajustable
A partir de:$313.86 MXN
Ver detalles

Libro electrónico
Pro React
- Cassio de Sousa Antonio
- Apress
- Diseño fijo
A partir de:$209.24 MXN
Ver detalles

Libro electrónico
A Concise Introduction to Software Engineering
- Pankaj Jalote
- Springer
- Diseño fijo
A partir de:$235.39 MXN
Ver detalles

Libro electrónico
Categories for Software Engineering
- Jose Luiz Fiadeiro
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Database Design Manual: using MySQL for Windows
- Matthew Norman
- Springer
- Diseño fijo
A partir de:$517.86 MXN
Ver detalles

Libro electrónico
Formal Engineering for Industrial Software Development
Using the SOFL Method
- Shaoying Liu
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Interactive Object Oriented Programming in Java
Learn and Test Your Skills
- Vaskaran Sarcar
- Apress
- Diseño fijo
A partir de:$156.93 MXN
Ver detalles

Libro electrónico
Beginning C++17
From Novice to Professional
- 5th Edición
- Ivor Horton; Peter Van Weert
- Apress
- Diseño ajustable
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
Runtime Verification
4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:$287.70 MXN
Ver detalles

Libro electrónico
AI*IA 2017 Advances in Artificial Intelligence
XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$287.70 MXN
Ver detalles