Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 28 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
Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado 2017
Materias: “...Algorithms....”
eBook
4
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
5
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...-2015 Standard for Interval Arithmetic -- Formal Correctness of Comparison Algorithms between binary64...”
eBook
6
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
7
Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering...”
Enlace del recurso
eBook
8
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Uncountable realtime probabilistic classes -- A Parametrized Analysis of Algorithms on Hierarchical Graphs...”
eBook
9
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
10
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
11
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
12
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
13
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
14
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
15
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods....”
eBook
16
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Materias: “...Algorithms....”
Enlace del recurso
eBook
17
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
18
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
19
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Algorithms....”
eBook
20
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
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda