Examinando Compilers 501 - 520 de 2076 resultados

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

Libro electrónico
Meta-Level Architectures and Reflection
Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings
- 1st Edición
- Pierre Cointe
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Architecture
10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 56.96 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/ 31.07 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Rewriting Techniques and Applications
19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
- 1st Edición
- Andrei Voronkov
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Architecture: System Design, Development and Maintenance
17th World Computer Congress – TC2 Stream / 3rd IEEE/IFIP Conference on Software Architecture (WICSA3), August 25–30, 2002, Montréal, Québec, Canada
- 1st Edición
- Jan Bosch; Morven Gentleman; Christine Hofmeister
- Springer
- Diseño fijo
A partir de:S/ 164.66 PENEl precio incluye IGV
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:S/ 56.96 PENEl precio incluye IGV
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:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Practical Aspects of Declarative Languages
18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 46.60 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Object, Models, Components, Patterns
50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
- 1st Edición
- Carlo A. Furia; ‎Sebastian Nanz
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Open Object-Based Distributed Systems IV
IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
- 1st Edición
- Carolyn Talcott; Scott F. Smith
- Springer
- Diseño fijo
A partir de:S/ 216.44 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/ 56.96 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/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries
Design powerful and reliable compilers using the latest libraries and tools from LLVM
- 1st Edición
- Min-Yih Hsu
- Packt Publishing
- Diseño ajustable
S/ 117.33 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Generative and Transformational Techniques in Software Engineering IV
International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Coordination Languages and Models
Third International Conference, COORDINATION'99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings
- 1st Edición
- Paolo Ciancarini; Alexander L. Wolf
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Engineering for Self-Adaptive Systems
- 1st Edición
- Betty H. C. Cheng; ‎Rogério de Lemos; ‎Paola Inverardi
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Hardware and Software, Verification and Testing
First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
- 1st Edición
- Shmuel Ur; ‎Eyal Bin; ‎Yaron Wolfsthal
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles