Examinando Compilers 941 - 960 de 2011 resultados

Libro electrónico
Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
- 1st Edición
- Tiziana Margaria; ‎Bernhard Steffen
- Springer
- Diseño fijo
A partir de:S/ 60.23 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/ 163.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Advances in Software Engineering Techniques
4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
- 1st Edición
- Tomasz Szmuc; ‎Marcin Szpyrka; ‎Jaroslav Zendulka
- Springer
- Diseño fijo
A partir de:S/ 60.23 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.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Testing Software and Systems
23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings
- 1st Edición
- Burkhart Wolff; Fatiha Zaidi
- Springer
- Diseño fijo
A partir de:S/ 60.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automatic Program Development
A Tribute to Robert Paige
- 1st Edición
- Olivier Danvy; ‎Fritz Henglein; ‎Harry Mairson
- Springer
- Diseño fijo
A partir de:S/ 108.42 PENEl precio incluye IGV
Ver detalles

Libro electrónico
M-Solid Varieties of Algebras
- Jörg Koppitz; Klaus Denecke
- Springer
- Diseño fijo
A partir de:S/ 108.42 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Internet Programming with OmniMark
- Mark Baker
- Springer
- Diseño fijo
A partir de:S/ 174.12 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
- 1st Edición
- René Alt; ‎Andreas Frommer; ‎R. Baker Kearfott
- Springer
- Diseño fijo
A partir de:S/ 60.23 PENEl precio incluye IGV
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:S/ 60.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on Aspect-Oriented Software Development III
Focus: Early Aspects
- 1st Edición
- Awais Rashid; ‎Mehmet Aksit
- Springer
- Diseño fijo
A partir de:S/ 60.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Recent Advances in Parallel Virtual Machine and Message Passing Interface
10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings
- 1st Edición
- Jack Dongarra; ‎Domenico Laforenza; ‎Salvatore Orlando
- Springer
- Diseño fijo
A partir de:S/ 108.42 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
- 1st Edición
- Dejan Nickovic; Maurice H. ter Beek
- Springer
- Diseño ajustable
A partir de:S/ 60.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Grundkurs JAVA
Von den Grundlagen bis zu Datenbank- und Netzanwendungen
- 11th Edición
- Dietmar Abts
- Springer Vieweg
- Diseño fijo
A partir de:S/ 38.33 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Efficient Polymorphic Calls
- Karel Driesen
- Springer
- Diseño fijo
A partir de:S/ 174.12 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Verilog® Hardware Description Language
- 5th Edición
- Donald E. Thomas; Philip R. Moorby
- Springer
- Diseño fijo
A partir de:S/ 97.46 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Language Server Protocol and Implementation
Supporting Language-Smart Editing and Programming Tools
- Nadeeshaan Gunasinghe; Nipuna Marcus
- Apress
- Diseño ajustable
A partir de:S/ 60.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Trends in Functional Programming Volume 6
- 1st Edición
- Intellect Books
- Diseño ajustable
S/ 160.61 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
- 1st Edición
- Bruno C. d. S. Oliveira
- Springer
- Diseño ajustable
A partir de:S/ 60.23 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Graph Transformation
17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10–11, 2024, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 76.66 PENEl precio incluye IGV
Ver detalles