Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 29 Para Buscar 'Algorithm Analysis AND Problem Complexity.', tiempo de consulta: 0.07s 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: “...: Application to FTSP -- Combining String Abstract Domains for JavaScript Analysis: An Evaluation.-Invariant...”
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
Tabla de Contenidos: “... -- Discriminating Traces with Time -- Directed Automated Memory Performance Testing -- Context-bounded Analysis...”
eBook
3
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
4
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Tabla de Contenidos: “...Dynamic Complexity: Definitions and Examples -- Relating Small Dynamic Complexity Classes -- Lower...”
eBook
5
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “... -- The Complexity of Complexity -- Bounded Pushdown Dimension vs Lempel Ziv Information Density -- On Being Rod...”
eBook
6
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis...”
eBook
7
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Algorithms and Complexity -- Software Theory and Method -- Data Science and Machine Learning Theory...”
eBook
8
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
9
Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
10
Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
11
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
12
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of Computation -- Model Theory. - Proof Theory -- Type Theory. Computability Theory. - Complexity Theory....”
eBook
13
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
14
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
15
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Algorithmic learning and semantics -- Automata and logics -- Combinatorics on words, compression...”
Enlace del recurso
eBook
16
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
17
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public...”
eBook
18
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of a Partially Lossy Queue -- Approximation Algorithms for the Maximum Carpool Matching Problem...”
eBook
19
Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...agent and multi-agent system models -- algorithms -- applications -- simulations -- theoretical...”
Enlace del recurso
eBook
20
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Complexity Analysis for Term Rewriting by Integer Transition Systems -- Using Ontologies to Query...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda