Materias dentro de su búsqueda.
Mostrando 1 - 15 Resultados de 15 Para Buscar 'Algorithms.', tiempo de consulta: 0.06s Limitar resultados
1
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
Tabla de Contenidos: “... Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees -- Synthesis...”
eBook
2
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
Materias: “...Algorithms....”
eBook
3
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
4
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Materias: “...Algorithms....”
Enlace del recurso
eBook
5
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
6
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
7
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Algorithms....”
eBook
8
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
9
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
10
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
11
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security....”
eBook
12
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical...”
Enlace del recurso
eBook
13
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games -- Counterexample Validation...”
eBook
14
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
Tabla de Contenidos: “..., and Behavioral Types -- Temporary Read-Only Permissions for Separation Logic -- Faster Algorithms for Weighted...”
eBook
15
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Expansion Renormalization Algorithm -- How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda