Examinando Compilers 881 - 900 de 2077 resultados

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

Libro electrónico
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
- 1st Edición
- Marcello M. Bonsangue; W.P. de Roever; Frank S. de Boer
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings
- 1st Edición
- G. Ramalingam
- Springer
- Diseño fijo
A partir de:S/ 55.17 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/ 99.30 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Methodology
- 1st Edición
- Annabelle McLver; Carroll Morgan
- Springer
- Diseño fijo
A partir de:S/ 99.30 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
- 1st Edición
- Frank S. de Boer; ‎Marcello M. Bonsangue; ‎Stefan Hallerstede
- Springer
- Diseño fijo
A partir de:S/ 55.17 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.03 PENEl precio incluye IGV
Ver detalles

Libro electrónico
A Practical Approach to Compiler Construction
- Des Watson
- Springer
- Diseño ajustable
A partir de:S/ 50.15 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/ 99.30 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Compiler Construction
12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
- 1st Edición
- Görel Hedin
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Practical C++ Design
From Programming to Architecture
- Adam B. Singer
- Apress
- Diseño fijo
A partir de:S/ 35.11 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Prozessübergreifendes Projektmanagement
Grundlagen erfolgreicher Projekte
- 1st Edición
- Gerhard Versteegen
- Springer
- Diseño fijo
A partir de:S/ 30.09 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 55.17 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/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verification, Model Checking, and Abstract Interpretation
17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.17 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Python Data Analytics
Data Analysis and Science using pandas, matplotlib and the Python Programming Language
- Fabio Nelli
- Apress
- Diseño fijo
A partir de:S/ 50.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Java will nur spielen
Programmieren lernen mit Spaß und Kreativität
- 2nd Edición
- Sven Eric Panitz
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 30.09 PENEl precio incluye IGV
Ver detalles