Examinando Compilers 781 - 800 de 2072 resultados

Libro electrónico
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Transactions on Pattern Languages of Programming III
- Springer
- Diseño fijo
A partir de:S/ 70.65 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Design Concepts with Code
An Approach for Developers
- Stanko Blatnik; Kelly Carey
- Apress
- Diseño fijo
A partir de:S/ 40.37 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/ 55.51 PENEl precio incluye IGV
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:S/ 20.15 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Consolidated Ada Reference Manual
Language and Standard Libraries
- 1st Edición
- Erhard Ploedereder; S. Tucker Taft; Randall L. Brukardt
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
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:S/ 99.91 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Numerical Software with Result Verification
International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers
- 1st Edición
- René Alt; ‎Andreas Frommer; ‎R. Baker Kearfott
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Modern Data Mining Algorithms in C++ and CUDA C
Recent Developments in Feature Extraction and Selection Algorithms for Data Science
- Timothy Masters
- Apress
- Diseño ajustable
A partir de:S/ 70.65 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Formal Methods for Industrial Critical Systems
25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
- 1st Edición
- Dejan Nickovic; Maurice H. ter Beek
- Springer
- Diseño ajustable
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Search Based Software Engineering
5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
- Author
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Writing Testbenches: Functional Verification of HDL Models
- 2nd Edición
- Janick Bergeron
- Springer
- Diseño fijo
A partir de:S/ 241.21 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Grundkurs Software-Entwicklung mit C++
Praxisorientierte Einführung mit Beispielen und Aufgaben - Exzellente Didaktik und Übersicht
- 2nd Edición
- Dietrich May
- Vieweg+Teubner Verlag
- Diseño fijo
A partir de:S/ 40.34 PENEl precio incluye IGV
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:S/ 55.51 PENEl precio incluye IGV
Ver detalles

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

Libro electrónico
Gotik und Informatik
Intelligenter Entwurf damals und heute
- Manfred Nagl
- Springer Vieweg
- Diseño fijo
A partir de:S/ 20.18 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Compiling Natural Semantics
- 1st Edición
- Mikael Pettersson
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

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

Libro electrónico
Logic Programming
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
- 1st Edición
- Peter J. Stuckey
- Springer
- Diseño fijo
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Verified Software: Theories, Tools and Experiments
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
- Author
- Springer
- Diseño ajustable
A partir de:S/ 55.51 PENEl precio incluye IGV
Ver detalles