Examinando Compilers 801 - 820 de 2115 resultados

Libro electrónico
Goal-Directed Proof Theory
- Dov M. Gabbay; N. Olivetti
- Springer
- Diseño fijo
A partir de:S/ 102.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic, Rationality, and Interaction
7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Using Microsoft Dynamics AX
The New Dynamics ‘AX 7‘
- 5th Edición
- Andreas Luszczak
- Springer Vieweg
- Diseño fijo
A partir de:S/ 72.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Customizing Dynamics 365
Implementing and Releasing Business Solutions
- Sanjaya Yapa
- Apress
- Diseño ajustable
A partir de:S/ 67.24 PENEl precio incluye IGV
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:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Beginning MATLAB and Simulink
From Novice to Professional
- Sulaymon Eshkabilov
- Apress
- Diseño ajustable
A partir de:S/ 36.21 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theoretical Aspects of Computing – ICTAC 2017
14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
C 14 Quick Syntax Reference
- 2nd Edición
- Mikael Olsson
- Apress
- Diseño fijo
A partir de:S/ 31.03 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Theory and Applications of Formal Argumentation
4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Aspects of Component Software
14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Business Analytics Using R - A Practical Approach
A Practitioner's Guide
- Umesh R Hodeghatta; Umesha Nayak
- Apress
- Diseño fijo
A partir de:S/ 41.38 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Perl 6 Quick Syntax Reference
A Pocket Guide to the Language, the Core Modules, and the Community
- J. Merelo
- Apress
- Diseño ajustable
A partir de:S/ 36.21 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Network Performance Analysis
Using the J Programming Language
- Alan Holt
- Springer
- Diseño fijo
A partir de:S/ 102.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Pro TypeScript
Application-Scale JavaScript Development
- 2nd Edición
- Steve Fenton
- Apress
- Diseño fijo
A partir de:S/ 46.55 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Designing Microservices with Django
An Overview of Tools and Practices
- Akos Hochrein
- Apress
- Diseño ajustable
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles

Libro electrónico
AIxIA 2020 – Advances in Artificial Intelligence
XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers
- Springer
- Diseño ajustable
A partir de:S/ 92.07 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Testing Software and Systems
29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
- Springer
- Diseño ajustable
A partir de:S/ 56.90 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/ 102.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Functional Data Structures and Algorithms
A Proof Assistant Approach
- Tobias Nipkow
- ACM Books
- Diseño ajustable
S/ 151.58 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
- 1st Edición
- Ana Cavalcanti; ‎Augusto Sampaio; ‎Jim Woodcock
- Springer
- Diseño fijo
A partir de:S/ 56.90 PENEl precio incluye IGV
Ver detalles