Examinando Compilers 521 - 540 de 2103 resultados

Libro electrónico
Practical Aspects of Declarative Languages
8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
- 1st Edición
- Pascal van Hentenryck
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
- 1st Edición
- Helmut Seidl
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 80.46 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Database Systems for Advanced Applications. DASFAA 2024 International Workshops
BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 85.49 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Foundational and Practical Aspects of Resource Analysis
Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:S/ 45.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The NCL Natural Constraint Language
- Jianyang Zhou
- Springer
- Diseño fijo
A partir de:S/ 159.92 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Learning C# by Programming Games
- Arjan Egges; Jeroen D. Fokker; Mark H. Overmars
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Scala for Java Developers
A Practical Primer
- Toby Weston
- Apress
- Diseño fijo
A partir de:S/ 30.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reachability Problems
7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 50.29 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Declarative Programming and Knowledge Management
Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
- 1st Edición
- Petra Hofstedt; ‎Salvador Abreu; ‎Ulrich John
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Beginning Julia Programming
For Engineers and Scientists
- Sandeep Nagar
- Apress
- Diseño fijo
A partir de:S/ 45.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Spiele effektiv programmieren mit VB.net und DirectX
- Uwe Kettermann; Andreas Rohde
- Springer
- Diseño fijo
A partir de:S/ 30.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Joys of Hashing
Hash Table Programming with C
- Thomas Mailund
- Apress
- Diseño ajustable
A partir de:S/ 45.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Modern C Quick Syntax Reference
A Pocket Guide to the Language, APIs, and Library
- 2nd Edición
- Mikael Olsson
- Apress
- Diseño ajustable
A partir de:S/ 35.20 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
- 1st Edición
- Atsushi Ohori
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Runtime Verification
20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
- 1st Edición
- Jyotirmoy Deshmukh; Dejan Nickovic
- Springer
- Diseño ajustable
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Ruby Data Processing
Using Map, Reduce, and Select
- Jay Godse
- Apress
- Diseño ajustable
A partir de:S/ 25.14 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Applied Semantics
International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures
- 1st Edición
- Peter Dybjer; Gilles Barthe; João Saraiva
- Springer
- Diseño fijo
A partir de:S/ 55.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verification: Theory and Practice
Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
- 1st Edición
- Nachum Dershowitz
- Springer
- Diseño fijo
A partir de:S/ 99.57 PENEl precio incluye IGV
Ver detalles