Examinando Compilers 841 - 860 de 2073 resultados

Libro electrónico
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
- 1st Edición
- Egon Borger; Michael Butler; Jonathan P Bowen
- Springer
- Diseño fijo
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Model-Based Systems Engineering with OPM and SysML
- Dov Dori
- Springer
- Diseño ajustable
A partir de:$375.00 MXN
Ver detalles

Libro electrónico
Programming Languages and Systems
20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
- Springer
- Diseño ajustable
A partir de:$375.00 MXN
Ver detalles

Libro electrónico
Let’s Build a Multiplayer Phaser Game
With TypeScript, Socket.IO, and Phaser
- Oscar Lodriguez
- Apress
- Diseño ajustable
A partir de:$241.07 MXN
Ver detalles

Libro electrónico
PRIMA 2016: Principles and Practice of Multi-Agent Systems
19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Übersetzerbau
Band 2: Syntaktische und semantische Analyse
- Reinhard Wilhelm; Helmut Seidl; Sebastian Hack
- Springer
- Diseño ajustable
A partir de:$106.96 MXN
Ver detalles

Libro electrónico
Textpattern Solutions
PHP-Based Content Management Made Easy
- Cody Lindley; Kevin Potts; Robert Sable; Roderick Smith; Mary Fredborg
- Apress
- Diseño fijo
A partir de:$214.28 MXN
Ver detalles

Libro electrónico
Principles of Modeling
Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
- Springer
- Diseño ajustable
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Quantum Computing by Practice
Python Programming in the Cloud with Qiskit and IBM-Q
- 2nd Edición
- Vladimir Silva
- Apress
- Diseño ajustable
A partir de:$241.07 MXN
Ver detalles

Libro electrónico
Computer Safety, Reliability, and Security
36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Early Aspects: Current Challenges and Future Directions
10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers
- 1st Edición
- A. Moreira
- Springer
- Diseño fijo
A partir de:$294.64 MXN
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:$294.64 MXN
Ver detalles

Libro electrónico
Language Server Protocol and Implementation
Supporting Language-Smart Editing and Programming Tools
- Nadeeshaan Gunasinghe; Nipuna Marcus
- Apress
- Diseño ajustable
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Introduction to Software Design with Java
- 2nd Edición
- Martin P. Robillard
- Springer
- Diseño fijo
A partir de:$267.86 MXN
Ver detalles

Libro electrónico
Theorem Proving in Higher Order Logics
13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
- 1st Edición
- Mark Aagaard; John Harrison
- Springer
- Diseño fijo
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Formal Methods for Components and Objects
Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
- 1st Edición
- Marcello M. Bonsangue; W.P. de Roever; Frank S. de Boer
- Springer
- Diseño fijo
A partir de:$294.64 MXN
Ver detalles

Libro electrónico
Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
- 1st Edición
- Julian Bradfield
- Springer
- Diseño fijo
A partir de:$530.35 MXN
Ver detalles

Libro electrónico
Inductive Logic Programming
28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$294.64 MXN
Ver detalles