Examinando Compilers 561 - 580 de 2097 resultados

Libro electrónico
Software Engineering 3
Domains, Requirements, and Software Design
- Dines Bjørner
- Springer
- Diseño fijo
A partir de:$520.24 MXN
Ver detalles

Libro electrónico
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
- 1st Edición
- Alessandro Fantechi; Paolo Ciancarini; Roberto Gorrieri
- Springer
- Diseño fijo
A partir de:$1,098.28 MXN
Ver detalles

Libro electrónico
Rules and Reasoning
Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Formale Sprachen, abstrakte Automaten und Compiler
Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
- Christian Wagenknecht; Michael Hielscher
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:$157.65 MXN
Ver detalles

Libro electrónico
Common Lisp Recipes
A Problem-Solution Approach
- Edmund Weitz
- Apress
- Diseño fijo
A partir de:$315.30 MXN
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:$289.02 MXN
Ver detalles

Libro electrónico
Languages and Compilers for Parallel Computing
11th International Workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998, Proceedings
- 1st Edición
- Siddharta Chatterjee; Jan F. Prins; Larry Carter
- Springer
- Diseño fijo
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Testing of Software and Communicating Systems
20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings
- 1st Edición
- Suzuki; K.; Higashino; T.; Ulrich; A.; Hasegawa
- Springer
- Diseño fijo
A partir de:$289.02 MXN
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:$289.02 MXN
Ver detalles

Libro electrónico
Verification: Theory and Practice
Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
- 1st Edición
- Nachum Dershowitz
- Springer
- Diseño fijo
A partir de:$520.24 MXN
Ver detalles

Libro electrónico
Modelling Foundations and Applications
10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
- Springer
- Diseño fijo
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Euro-Par 2018: Parallel Processing
24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings
- Springer
- Diseño ajustable
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Central European Functional Programming School
6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:$394.12 MXN
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:$289.02 MXN
Ver detalles

Libro electrónico
Software Prototyping in Data and Knowledge Engineering
- G. Guida; G. Lamperti; Marina Zanella
- Springer
- Diseño fijo
A partir de:$520.24 MXN
Ver detalles

Libro electrónico
Semantic Integration of Heterogeneous Software Specifications
- Martin Große-Rhode
- Springer
- Diseño fijo
A partir de:$835.53 MXN
Ver detalles

Libro electrónico
Options and Derivatives Programming in C++20
Algorithms and Programming Techniques for the Financial Industry
- 2nd Edición
- Carlos Oliveira
- Apress
- Diseño ajustable
A partir de:$315.30 MXN
Ver detalles

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:$289.02 MXN
Ver detalles

Libro electrónico
Learn Java for Android Development
- 2nd Edición
- Jeff Friesen
- Apress
- Diseño fijo
A partir de:$289.02 MXN
Ver detalles

Libro electrónico
Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025, Proceedings
- Springer
- Diseño ajustable
A partir de:$367.85 MXN
Ver detalles