Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 37 Para Buscar '"Intérpretes"', tiempo de consulta: 0.04s Limitar resultados
1
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
2
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
3
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
4
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
5
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
6
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
7
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
8
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
9
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
10
Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
Enlace del recurso
eBook
11
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
12
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
13
Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
14
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
15
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
16
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
Enlace del recurso
eBook
17
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
18
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
19
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
Enlace del recurso
eBook
20
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
Materias: “...Programming Languages, Compilers, Interpreters....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda