Materias dentro de su búsqueda.
Mostrando 41 - 47 Resultados de 47 Para Buscar '', tiempo de consulta: 0.03s Limitar resultados
41
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Publicado 2017
eBook
42
Smart Computing and Communication : First International Conference, SmartCom 2016, Shenzhen, China, December 17-19, 2016, Proceedings /
Publicado 2017
eBook
43
Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings /
Publicado 2017
eBook
44
Intelligent Computing Theories and Application : 13th International Conference, ICIC 2017, Liverpool, UK, August 7-10, 2017, Proceedings, Part I /
Publicado 2017
eBook
45
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
eBook
46
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
eBook
47
Web and Internet Economics : 13th International Conference, WINE 2017, Bangalore, India, December 17–20, 2017, Proceedings /
Publicado 2017
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda