Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 59 Para Buscar 'Algorithms.', tiempo de consulta: 0.10s Limitar resultados
1
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “... -- Bicategories of Markov Processes -- Property-Preserving Parallel Decomposition -- A Generic Algorithm...”
eBook
2
Genetic Algorithms for Applied CAD Problems /
Tabla de Contenidos: “... -- Algorithms and Models of ECE Module Connections Routing -- Development of Genetic Algorithms for Finding...”
eBook
3
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
Materias: “...Algorithms....”
eBook
4
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: “... Learning Algorithm for Buchi Automata based on Family of DFAs and Classification Trees -- Synthesis...”
eBook
5
Bio-inspired Algorithms for the Vehicle Routing Problem /
Publicado 2009
Tabla de Contenidos: “...A Review of Bio-inspired Algorithms for Vehicle Routing -- A GRASP × Evolutionary Local Search...”
eBook
6
Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado 2017
Materias: “...Algorithms....”
eBook
7
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: “...Algorithms....”
eBook
8
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
9
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
10
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
11
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
12
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
13
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
14
Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
15
High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
Enlace del recurso
eBook
16
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
17
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
18
Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
19
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
20
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda