Նմանատիպ նյութեր: System Analysis and Modeling :
- Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /
- FundamentalApproaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 : Proceedings /
- NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014 : Proceedings /
- Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015 : Proceedings /
- Software Technologies : 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013 : Revised Selected Papers /
- Design Science : Perspectives from Europe : European Design Science Symposium, EDSS 2013, Dublin, Ireland, November 21-22, 2013 : Revised Selected Papers /
Խորագիր: 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 /
Խորագիր: 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 /