Examinando Compilers 701 - 720 de 2094 resultados

Libro electrónico
Information and Communication Technologies in Education, Research, and Industrial Applications
11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:S/ 56.26 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/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
It's All About Coordination
Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
- Author
- Springer
- Diseño ajustable
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Coding Interviews
Questions, Analysis & Solutions
- Harry He
- Apress
- Diseño fijo
A partir de:S/ 81.83 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Static Analysis
16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings
- 1st Edición
- Jens Palsberg; ‎Zhendong Su
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Virtual Machines
- Iain D. Craig
- Springer
- Diseño fijo
A partir de:S/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
International Conference IFIP TCS 2000 Sendai, Japan, August 17-19, 2000 Proceedings
- 1st Edición
- Masami Hagiya; Peter Mosses; Jan van Leeuwen
- Springer
- Diseño fijo
A partir de:S/ 101.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Internet Programming with OmniMark
- Mark Baker
- Springer
- Diseño fijo
A partir de:S/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Programmierung mit Pascal
- 7th Edición
- Thomas Ottmann; Peter Widmayer
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Constraint Databases
- 1st Edición
- Gabriel Kuper; Leonid Libkin; Jan Paredaens
- Springer
- Diseño fijo
A partir de:S/ 162.63 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Quantifiers in Action
Generalized Quantification in Query, Logical and Natural Languages
- Antonio Badia
- Springer
- Diseño fijo
A partir de:S/ 101.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formale Sprachen, abstrakte Automaten und Compiler
Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
- 2nd Edición
- Christian Wagenknecht; Michael Hielscher
- Springer Vieweg
- Diseño fijo
A partir de:S/ 30.69 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Coordination Models and Languages
6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
- 1st Edición
- Rocco De Nicola; ‎Gianluigi Ferrari; ‎Greg Meredith
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
- 1st Edición
- Stefano Berardi; ‎Ferruccio Damiani; ‎Ugo de Liguoro
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verilog: Frequently Asked Questions
Language, Applications and Extensions
- Shivakumar S. Chonnad; Needamangalam B. Balachander
- Springer
- Diseño fijo
A partir de:S/ 101.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Model Driven Engineering Languages and Systems
13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
- 1st Edición
- Dorina C. Petriu; ‎Nicolas Rouquette; ‎Oystein Haugen
- Springer
- Diseño fijo
A partir de:S/ 56.26 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/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
- 1st Edición
- Tiziana Margaria; ‎Bernhard Steffen
- Springer
- Diseño fijo
A partir de:S/ 56.26 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Object-Z Specification Language
- Graeme Smith
- Springer
- Diseño fijo
A partir de:S/ 213.78 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Mixed-Effects Models in S and S-PLUS
- José Pinheiro; Douglas Bates
- Springer
- Diseño fijo
A partir de:S/ 244.46 PENEl precio incluye IGV
Ver detalles