Materias dentro de su búsqueda.
Mostrando 61 - 80 Resultados de 83 Para Buscar '', tiempo de consulta: 0.07s Limitar resultados
61
SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings /
Publicado 2017
eBook
62
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
eBook
63
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado 2017
eBook
64
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Publicado 2017
eBook
65
Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado 2017
eBook
66
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings /
Publicado 2017
eBook
67
Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings /
Publicado 2017
eBook
68
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
eBook
69
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
eBook
70
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings /
Publicado 2017
eBook
71
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
eBook
72
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
eBook
73
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado 2017
eBook
74
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
75
String Analysis for Software Verification and Security /
eBook
76
Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings /
Publicado 2017
eBook
77
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 I /
Publicado 2017
eBook
78
Requirements Engineering: Foundation for Software Quality : 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 – March 2, 2017, Proceedings /
Publicado 2017
eBook
79
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Publicado 2017
eBook
80
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV : Special Issue on Consistency and Inconsistency in Data-Centric Applications /
Publicado 2017
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda