Examinando Compilers 501 - 520 de 2072 resultados

Libro electrónico
Moderne C-Programmierung
Kompendium und Referenz
- 2nd Edición
- Helmut Schellong
- Springer Vieweg
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Modelling Foundations and Applications
12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Engineering Theories of Software Intensive Systems
Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004
- 1st Edición
- Manfred Broy; ‎Johannes Gruenbauer; ‎David Harel
- Springer
- Diseño fijo
A partir de:S/ 211.04 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Grundkurs Computergrafik mit Java
Die Grundlagen verstehen und einfach umsetzen mit Java 3D
- 3rd Edición
- Frank Klawonn
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 30.29 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Engineering
International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures
- 1st Edición
- Andrea De Lucia; Filomena Ferrucci
- Springer
- Diseño fijo
A partir de:S/ 60.58 PENEl precio incluye IGV
Ver detalles

Libro electrónico
MATLAB Recipes
A Problem-Solution Approach
- 2nd Edición
- Michael Paluszek; Stephanie Thomas
- Apress
- Diseño ajustable
A partir de:S/ 60.58 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Model Checking Software
10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
- 1st Edición
- Thomas Ball; ‎Sriram K. Rajamani
- Springer
- Diseño fijo
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
- 1st Edición
- Karin Breitman; ‎Ana Cavalcanti
- Springer
- Diseño fijo
A partir de:S/ 99.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Datenbanken und SQL
Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL
- 4th Edición
- Edwin Schicker
- Springer Vieweg
- Diseño ajustable
A partir de:S/ 30.29 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
- 1st Edición
- Shaoying Liu; Tom Maibaum; Keijiro Araki
- Springer
- Diseño fijo
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Declarative Agent Languages and Technologies II
Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
- 1st Edición
- João Leite; ‎Andrea Omicini; ‎Paolo Torroni
- Springer
- Diseño fijo
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.54 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/ 211.04 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Fundamental Approaches to Software Engineering
8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
- 1st Edición
- Maura Cerioli
- Springer
- Diseño fijo
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reversible Computation
8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
PRICAI 2019: Trends in Artificial Intelligence
16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I
- Springer
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages
An Active Learning Approach
- Kent D. Lee
- Springer
- Diseño fijo
A partir de:S/ 120.16 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/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
C++ mit Microsoft Visual C++ 2008
Einführung in Standard-C++, C++/CLI und die objektorientierte Windows .NET-Programmierung
- Richard Kaiser
- Springer
- Diseño fijo
A partir de:S/ 60.58 PENEl precio incluye IGV
Ver detalles