Materias dentro de su búsqueda.
Mostrando 21 - 40 Resultados de 104 Para Buscar '', tiempo de consulta: 0.03s Limitar resultados
21
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
22
On Fuzziness : A Homage to Lotfi A. Zadeh – Volume 1 /
Publicado 2013
eBook
23
Provably Correct Systems /
Publicado 2017
eBook
24
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
eBook
25
Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado 2017
eBook
26
New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers /
Publicado 2017
eBook
27
On Fuzziness : A Homage to Lotfi A. Zadeh – Volume 2 /
Publicado 2013
eBook
28
Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures /
Publicado 2017
eBook
29
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings /
Publicado 2017
eBook
30
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
eBook
31
New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24–27, 2017, Proceedings /
Publicado 2017
eBook
32
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
eBook
33
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /
Publicado 2017
eBook
34
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
eBook
35
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /
Publicado 2017
eBook
36
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
eBook
37
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado 2017
eBook
38
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
eBook
39
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado 2017
eBook
40
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado 2017
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda