Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 52 Para Buscar '', tiempo de consulta: 0.05s Limitar resultados
1
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
eBook
2
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado 2017
eBook
3
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Publicado 2017
eBook
4
Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado 2017
eBook
5
Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers /
Publicado 2017
eBook
6
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Publicado 2017
eBook
7
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
eBook
8
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Publicado 2017
eBook
9
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
Enlace del recurso
eBook
10
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
eBook
11
Provably Correct Systems /
Publicado 2017
eBook
12
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
eBook
13
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado 2017
eBook
14
Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Publicado 2017
eBook
15
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
Publicado 2017
eBook
16
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Publicado 2017
eBook
17
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado 2017
eBook
18
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Publicado 2017
eBook
19
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
eBook
20
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda