Examinando Compilers 901 - 920 de 2077 resultados

Libro electrónico
Design Concepts with Code
An Approach for Developers
- Stanko Blatnik; Kelly Carey
- Apress
- Diseño fijo
A partir de:S/ 40.12 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Behavioral Specifications of Businesses and Systems
- 1st Edición
- Haim Kilov; Bernhard Rumpe; Ian Simmonds
- Springer
- Diseño fijo
A partir de:S/ 159.48 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mixed-Effects Models in S and S-PLUS
- José Pinheiro; Douglas Bates
- Springer
- Diseño fijo
A partir de:S/ 239.73 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Model Checking Software
9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
- 1st Edición
- S. Leue; Dragan Bošnački
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
LLVM Essentials
- 1st Edición
- Suyog Sarda
- Packt Publishing
- Diseño ajustable
S/ 73.52 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Arduino Software Internals
A Complete Guide to How Your Arduino Language and Hardware Work Together
- Norman Dunbar
- Apress
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
- 1st Edición
- Herman Geuvers; ‎Freek Wiedijk
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Recent Trends in Algebraic Development Techniques
13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
- 1st Edición
- Jose L. Fiadeiro
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
- 1st Edición
- Mark Aagaard; John Harrison
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Language Constructs for Describing Features
Proceedings of the FIREworks workshop
- 1st Edición
- Stephen Gilmore; Mark Ryan
- Springer
- Diseño ajustable
A partir de:S/ 55.17 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/ 55.17 PENEl precio incluye IGV
Ver detalles

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

Libro electrónico
Objektorientierte Anwendungsentwicklung mit der postrelationalen Datenbank Caché
- 2nd Edición
- Wolfgang Kirsten; Michael Ihringer; Mathias Kühn; Bernhard Röhrig
- Springer
- Diseño fijo
A partir de:S/ 99.30 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Functional Data Structures and Algorithms
A Proof Assistant Approach
- Tobias Nipkow
- ACM Books
- Diseño ajustable
S/ 146.98 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Engineering a Compiler
- 3rd Edición
- Keith Cooper
- Morgan Kaufmann
- Diseño ajustable
S/ 264.10 PENEl precio incluye IGV
Ver detalles

Libro electrónico
An Introduction to PHP for Scientists and Engineers
Beyond JavaScript
- David R. Brooks
- Springer
- Diseño ajustable
A partir de:S/ 50.15 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/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Component Deployment
IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002, Proceedings
- 1st Edición
- Judith Bishop
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Consolidated Ada Reference Manual
Language and Standard Libraries
- 1st Edición
- Erhard Ploedereder; S. Tucker Taft; Randall L. Brukardt
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Constraint Solving and Language Processing
First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
- 1st Edición
- Henning Christiansen; ‎Peter Rossen Skadhauge; ‎Jørgen Villadsen
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles