Những quyển sách tương tự: Verified Software :
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers /
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops : BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert Madrid, Spain, September 23-24, 2013 : Revised Selected Papers /
- Verified Software : Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 : Revised Selected Papers /
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
- Essence of Systems Analysis and Design : A Workbook Approach /
- Software Technologies : 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : Revised Selected Papers /
Đề tài: Código Fuente
- Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013 : Revised Selected Papers /
- Verified Software : Theories, Tools and Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : Revised Selected Papers /
- The Compiler Design Handbook : Optimizations and Machine Code Generation /
- Programming Language Processors in Java : Compilers and Interpreters /
- Microsoft Transact-SQL : The Defintive Guide /
- Beginning T-SQL 2012 /
Đề tài: Lenguajes de Programación
- DOS en español : interface en lenguaje natural con el sistema operativo MS-DOS /
- Manual de Programación BASIC para Ingenieros Civiles.
- Diseño de un Formateador para un Subconjunto de Instrucciones en C.
- Encyclopedia of Information Systems /
- Evaluación de una migración de un sistema de software de plataforma DOS a plataforma Windows /
- Elaboración de material didáctico para la materia introducción a los sistemas de información utilizando como herramienta la multimedia y el lenguaje de creación de hipertexto /