Examinando Compilers 381 - 400 de 2076 resultados

Libro electrónico
Verification, Model Checking, and Abstract Interpretation
11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
- 1st Edición
- Gilles Barthe; ‎Manuel Hermenegildo
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Models in Software Engineering
Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers
- 1st Edición
- Juergen Dingel; ‎Arnor Solberg
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Beginning C++17
From Novice to Professional
- 5th Edición
- Ivor Horton; Peter Van Weert
- Apress
- Diseño ajustable
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reactive Programming with Angular and ngrx
Learn to Harness the Power of Reactive Programming with RxJS and ngrx Extensions
- Oren Farhi
- Apress
- Diseño fijo
A partir de:S/ 41.42 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Software Engineering 3
Domains, Requirements, and Software Design
- Dines Bjørner
- Springer
- Diseño fijo
A partir de:S/ 102.52 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on Petri Nets and Other Models of Concurrency VI
- 1st Edición
- Wil M. P. van der Aalst; ‎Marco Ajmone Marsan; ‎Giuliana Franceschinis
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
- 1st Edición
- JeanFrancois Raskin; ‎P.S. Thiagarajan
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Introducing Fortran 95
- Ian Chivers; Jane Sleightholme
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Practical Aspects of Declarative Languages
8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
- 1st Edición
- Pascal van Hentenryck
- Springer
- Diseño fijo
A partir de:S/ 56.96 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/ 31.07 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Semantic Integration of Heterogeneous Software Specifications
- Martin Große-Rhode
- Springer
- Diseño fijo
A partir de:S/ 164.66 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Integrated Formal Methods
9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
- 1st Edición
- John Derrick; ‎Stefania Gnesi; ‎Diego Latella
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic Programming
24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
- 1st Edición
- Maria Garcia Banda; ‎Enrico Pontelli
- Springer
- Diseño fijo
A partir de:S/ 102.52 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Pro DevOps with Google Cloud Platform
With Docker, Jenkins, and Kubernetes
- Pierluigi Riti
- Apress
- Diseño ajustable
A partir de:S/ 51.78 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/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programming Languages and Systems
First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
- 1st Edición
- Atsushi Ohori
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Beginning C++
- 4th Edición
- Ivor Horton
- Apress
- Diseño ajustable
A partir de:S/ 62.13 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Variations on Constants
Flow Analysis of Sequential and Parallel Programs
- Markus Müller-Olm
- Springer
- Diseño fijo
A partir de:S/ 56.96 PENEl precio incluye IGV
Ver detalles