Examinando Compilers 301 - 320 de 2092 resultados

Libro electrónico
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
- Springer
- Diseño ajustable
A partir de:$337.41 MXN
Ver detalles

Libro electrónico
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
Runtime Verification
5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
- Springer
- Diseño fijo
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
Compiler Design
Syntactic and Semantic Analysis
- Reinhard Wilhelm; Helmut Seidl; Sebastian Hack
- Springer
- Diseño ajustable
A partir de:$337.41 MXN
Ver detalles

Libro electrónico
Formal Techniques for Safety-Critical Systems
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
Automated Reasoning with Analytic Tableaux and Related Methods
26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:$363.36 MXN
Ver detalles

Libro electrónico
Android Studio Game Development
Concepts and Design
- Jerome DiMarzio
- Apress
- Diseño fijo
A partir de:$207.64 MXN
Ver detalles

Libro electrónico
System Analysis and Modeling: About Models
6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
- Frank Alexander Kraemer; Peter Herrmann
- Springer
- Diseño fijo
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
Reliable Software Technologies – Ada-Europe 2017
22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$311.46 MXN
Ver detalles

Libro electrónico
Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
PHP Arrays
Single, Multi-dimensional, Associative and Object Arrays in PHP 7
- Steve Prettyman
- Apress
- Diseño fijo
A partir de:$129.77 MXN
Ver detalles

Libro electrónico
Bayesian Networks in R
with Applications in Systems Biology
- Radhakrishnan Nagarajan; Marco Scutari; Sophie Lèbre
- Springer
- Diseño ajustable
A partir de:$513.90 MXN
Ver detalles

Libro electrónico
Logic-Based Program Synthesis and Transformation
28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
Dynamic SQL
Applications, Performance, and Security
- Ed Pollack
- Apress
- Diseño fijo
A partir de:$207.64 MXN
Ver detalles

Libro electrónico
Regex Quick Syntax Reference
Understanding and Using Regular Expressions
- Zsolt Nagy
- Apress
- Diseño ajustable
A partir de:$233.59 MXN
Ver detalles

Libro electrónico
C/C++ anwenden
Technisch-wissenschaftliche Übungsaufgaben mit Lösungen
- Thomas Hoch; Gerd Küveler
- Springer Vieweg
- Diseño fijo
A partir de:$129.77 MXN
Ver detalles

Libro electrónico
Macromedia Director
Multimediaprogrammierung mit Lingo
- Klemens Hübner; Hans Seifert
- Springer
- Diseño fijo
A partir de:$233.59 MXN
Ver detalles

Libro electrónico
Static Analysis
26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
- Springer
- Diseño ajustable
A partir de:$285.50 MXN
Ver detalles

Libro electrónico
Test Driven Development in Ruby
A Practical Introduction to TDD Using Problem and Solution Domain Analysis
- Bala Paranj
- Apress
- Diseño fijo
A partir de:$233.59 MXN
Ver detalles