Materias dentro de su búsqueda.
Mostrando 21 - 40 Resultados de 81 Para Buscar '"Logics and Meanings of Programs."', tiempo de consulta: 0.04s Limitar resultados
21
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: “...Logics and Meanings of Programs....”
eBook
22
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
Enlace del recurso
eBook
23
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
24
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
25
Logic Synthesis for FSM-Based Control Units
Materias: “...Logics and Meanings of Programs....”
Enlace del recurso
eBook
26
Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
Enlace del recurso
eBook
27
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
28
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
29
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: “...Logics and Meanings of Programs....”
eBook
30
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
31
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
32
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
33
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
34
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
Enlace del recurso
eBook
35
Computer Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
36
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
37
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: “...Logics and Meanings of Programs....”
Enlace del recurso
eBook
38
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: “...Logics and Meanings of Programs....”
eBook
39
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
40
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Logics and Meanings of Programs....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda