Materias dentro de su búsqueda.
Mostrando 1 - 13 Resultados de 13 Para Buscar 'Algorithm Analysis and Problem Complexity.', tiempo de consulta: 0.06s Limitar resultados
1
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
2
Guide to Competitive Programming Learning and Improving Algorithms Through Contests /
por Laaksonen, Antti.
Publicado 2017
Tabla de Contenidos: “... -- Dynamic Programming -- Graph Algorithms -- Algorithm Design Topics -- Range Queries -- Tree Algorithms...”
Enlace del recurso
eBook
3
Parallel Computational Technologies : 11th International Conference, PCT 2017, Kazan, Russia, April 3–7, 2017, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...High performance architectures, tools and technologies -- Parallel numerical algorithms...”
eBook
4
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
5
Hybrid Artificial Intelligent Systems 12th International Conference, HAIS 2017, La Rioja, Spain, June 21-23, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
Enlace del recurso
eBook
6
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
7
Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... data management and analytics -- Cluster and cloud computing -- Distributed systems and algorithms...”
eBook
8
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
9
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
10
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
11
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... Abstraction for Analysis of Free List Memory Allocators -- A Productivity Checker for Logic Programming...”
eBook
12
Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis...”
eBook
13
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda