Examinando Compilers 461 - 480 de 2072 resultados

Libro electrónico
Formal Engineering for Industrial Software Development
Using the SOFL Method
- Shaoying Liu
- Springer
- Diseño fijo
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
- 1st Edición
- Toshiaki Aoki; ‎Kenji Taguchi
- Springer
- Diseño fijo
A partir de:S/ 55.54 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
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
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
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
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
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
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
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
Business Process Technology
A Unified View on Business Processes, Workflows and Enterprise Applications
- Dirk Draheim
- Springer
- Diseño fijo
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Implementation and Application of Functional Languages
22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers
- 1st Edición
- Jurriaan Hage; ‎Marco T. Morazán
- Springer
- Diseño fijo
A partir de:S/ 70.68 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
- Zhe Ma; Pol Marchal; Daniele Paolo Scarpazza; Peng Yang; Chun Wong; José Ignacio Gómez; Stefaan Himp
- Springer
- Diseño fijo
A partir de:S/ 99.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Relational and Algebraic Methods in Computer Science
17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Multicore Software Engineering, Performance and Tools
International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings
- 1st Edición
- Victor Pankratius; Michael Philippsen
- Springer
- Diseño fijo
A partir de:S/ 70.68 PENEl precio incluye IGV
Ver detalles

Libro electrónico
JRuby Rails Web Application Development
- Deepak Vohra
- Springer
- Diseño ajustable
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
New Modeling Concepts for Today's Software Processes
International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
- 1st Edición
- Jürgen Münch; ‎Ye Yang; ‎Wilhelm Schäfer
- Springer
- Diseño fijo
A partir de:S/ 55.54 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Expert T-SQL Window Functions in SQL Server
- Kathi Kellenberger; Clayton Groom
- Apress
- Diseño fijo
A partir de:S/ 30.29 PENEl precio incluye IGV
Ver detalles

Libro electrónico
MATLAB Graphical Programming
Practical hands-on MATLAB solutions
- Cesar Lopez
- Apress
- Diseño fijo
A partir de:S/ 40.39 PENEl precio incluye IGV
Ver detalles