Examinando Compilers 761 - 780 de 2072 resultados

Libro electrónico
Hardware and Software: Verification and Testing
6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
- 1st Edición
- Sharon Barner; ‎Ian Harris; ‎Daniel Kroening
- Springer
- Diseño fijo
A partir de:S/ 55.51 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/ 55.51 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.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Coding Interviews
Questions, Analysis & Solutions
- Harry He
- Apress
- Diseño fijo
A partir de:S/ 80.74 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/ 210.93 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Die C++-Standardbibliothek
Einführung und Nachschlagewerk
- 4th Edición
- Stefan Kuhlins; Martin Schader
- Springer
- Diseño fijo
A partir de:S/ 40.37 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
- Springer
- Diseño fijo
A partir de:S/ 50.46 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/ 35.32 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Vorlesungen über Informatik
Band 1: Grundlagen und funktionales Programmieren
- 4th Edición
- Gerhard Goos; Wolf Zimmermann
- Springer
- Diseño fijo
A partir de:S/ 10.09 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/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Profikurs ABAP®
Konkrete, praxisorientierte Lösungen - Tipps, Tricks und jede Menge Erfahrung
- 2nd Edición
- Patrick Theobald
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 15.14 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
- Domenico Cantone; Eugenio Omodeo; Alberto Policriti
- Springer
- Diseño fijo
A partir de:S/ 160.47 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.91 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Network Performance Analysis
Using the J Programming Language
- Alan Holt
- Springer
- Diseño fijo
A partir de:S/ 99.91 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Introduction to Modern Fortran for the Earth System Sciences
- Dragos B. Chirila; Gerrit Lohmann
- Springer
- Diseño ajustable
A partir de:S/ 99.91 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.46 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Perspectives on Enclosure Methods
- 1st Edición
- R. Lohner; Ulrich Kulisch; Axel Facius
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Introduction to Octave
For Engineers and Scientists
- Sandeep Nagar
- Apress
- Diseño fijo
A partir de:S/ 30.28 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles