Lignende værker: Static Analysis :
- Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /
- Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014 : Proceedings /
- System Analysis and Modeling : Models and Reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : Proceedings /
- Software Technologies : 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : Revised Selected Papers /
- Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013 : Revised Selected Papers /
- 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 /
Emne: 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 /
Emne: Intérpretes (Software)
- Programming Language Processors in Java : Compilers and Interpreters /
- Controlador autómata desde programación visual por bloques /
- Compiler Construction : 23rd International Conference, CC 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : Proceedings /
- Application and Theory of Petri Nets and Concurrency : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 : Proceedings /
- Foundational and Practical Aspects of Resource Analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013 : Revised Selected Papers /
- Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : Proceedings /