Podobné jednotky: Leveraging Applications of Formal Methods, Verification and Validation :
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
- Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /
- Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : Proceedings /
- Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : Proceedings /
- Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings /
- Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : Proceedings /
Téma: Compiladores (Software)
- Introducción a la programación /
- Fundamentos de compiladores : cómo traducir al lenguaje de computadora /
- Introduction to PCI Express : A Hardware and Software Developer's Guide /
- Algorithms for Compiler Design /
- Optimizing Compilers for Modern Architectures : A Dependence-Based Approach /
- Compilers Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
Téma: Complejidad Computacional
- The Turing Omnibus : 61 Excursions in Computer Science /
- Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : Proceedings /
- New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012 : Revised Selected Papers /
- Mathematical Foundations of Data Science Using R /
- Constructivity and Computability in Historical and Philosophical Perspective /
- Complejidad de las ciencias sociales : y de otras ciencias y disciplinas /
Autor: Margaria, Tiziana (edición)
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /
- Process Design for Natural Scientists : An Agile Model-Driven Approach /
Autor: Steffen, Bernhard (edición)
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /