Materias dentro de su búsqueda.
Mostrando 1 - 16 Resultados de 16 Para Buscar 'Algorithm Analysis and Problem Complexity.', tiempo de consulta: 0.22s 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
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
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
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
7
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
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
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis...”
eBook
10
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “...Modeling and Semantics -- Testing -- Analysis -- Probabilities -- System Dynamics -- Applications....”
Enlace del recurso
eBook
11
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
12
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
13
Smart Card Research and Advanced Applications : 15th International Conference, CARDIS 2016, Cannes, France, November 7–9, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... Side-Channel Analysis on ISO9797-1 MAC Algorithm 3 -- Side-Channel Analysis of the TUAK Algorithm Used...”
eBook
14
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
15
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
16
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