Examinando Compilers 821 - 840 de 2010 resultados

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/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Goal-Directed Proof Theory
- Dov M. Gabbay; N. Olivetti
- Springer
- Diseño fijo
A partir de:S/ 109.43 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Smart Card Application Development Using Java
- Uwe Hansmann; Martin S. Nicklous; Thomas Schäck; Frank Seliger
- Springer
- Diseño fijo
A partir de:S/ 98.38 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Engineering with OBJ
Algebraic Specification in Action
- 1st Edición
- Joseph A. Goguen; ‎Grant Malcolm
- Springer
- Diseño fijo
A partir de:S/ 231.02 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Unified Modeling Language. <<UML>>'98: Beyond the Notation
First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
- 1st Edición
- Jean Bézivin; PierreAlain Muller
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Practical Introduction to PSL
- Cindy Eisner; Dana Fisman
- Springer
- Diseño fijo
A partir de:S/ 175.75 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Security -- Theories and Systems
Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
- 1st Edición
- Mitsuhiro Okada; ‎Benjamin Pierce; ‎Andre Scedrov
- Springer
- Diseño fijo
A partir de:S/ 60.79 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/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Design Patterns in Modern C++
Reusable Approaches for Object-Oriented Software Design
- Dmitri Nesteruk
- Apress
- Diseño ajustable
A partir de:S/ 55.27 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Languages for Embedded Systems and their Applications
Selected Contributions on Specification, Design, and Verification from FDL'08
- Author
- Springer
- Diseño fijo
A partir de:S/ 175.75 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Search Based Software Engineering
5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 60.79 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/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Modelling Foundations and Applications
14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Model-Driven Engineering and Software Development
4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
OpenMP: Portable Multi-Level Parallelism on Modern Systems
16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
- 1st Edición
- Kent Milfeld; ‎Bronis R. De Supinski; ‎Lars Koesterke
- Springer
- Diseño ajustable
A partir de:S/ 93.95 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/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Recent Advances in Constraints
14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
- 1st Edición
- Javier Larrosa; Barry O'Sullivan
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Trends in Functional Programming
12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers
- 1st Edición
- Ricardo Peña; ‎Rex Page
- Springer
- Diseño fijo
A partir de:S/ 77.37 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Digital VLSI Design with Verilog
A Textbook from Silicon Valley Technical Institute
- John Williams
- Springer
- Diseño fijo
A partir de:S/ 164.70 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
- 1st Edición
- Reinhard Kahle; Peter SchroederHeister; Robert Stark
- Springer
- Diseño fijo
A partir de:S/ 60.79 PENEl precio incluye IGV
Ver detalles