Materias dentro de su búsqueda.
Mostrando 21 - 33 Resultados de 33 Para Buscar 'Algorithm Analysis and Problem Complexity.', tiempo de consulta: 0.06s Limitar resultados
21
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
22
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
23
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
24
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
25
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
26
Green, Pervasive, and Cloud Computing : 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Cryptography, security and biometric techniques -- Advances network services, algorithms...”
eBook
27
Computer Security – ESORICS 2017 : 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
28
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different...”
eBook
29
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
30
Challenges and Opportunity with Big Data : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... Analysis and Adaptation Access of CNC Lathes in Cloud Manufacturing -- Interactive Animation Editing Based...”
eBook
31
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
32
Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10–15, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
33
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda