Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 33 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
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
4
Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado 2017
Tabla de Contenidos: “... Tackling of Obstructed Workflow Executions -- Formal Modelling and Analysis of Distributed Storage Systems...”
eBook
5
Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
6
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
7
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
8
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
9
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
10
Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
11
Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
12
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
13
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
14
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
15
Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
16
High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
Enlace del recurso
eBook
17
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
18
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Evolution -- Combinatorial Testing -- Software Requirements Analysis -- Software Configuration -- Multi...”
eBook
19
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “....- Performance evaluation -- Control methods -- Modeling methodologies -- Model development and analysis...”
eBook
20
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda