Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 78 Para Buscar '"Algorithms."', tiempo de consulta: 0.05s Limitar resultados
1
Python Algorithms : Mastering Basic Algorithms in the Python Language /
por Hetland, Magnus Lie.
Publicado 2010
Tabla de Contenidos: “... of Algorithmics -- Divide, Combine, and Conquer -- Greed Is Good? Prove It! -- Tangled Dependencies...”
eBook
2
Python Algorithms : Mastering Basic Algorithms in the Python Language /
por Hetland, Magnus Lie.
Publicado 2014
eBook
3
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
4
Genetic Algorithms for Applied CAD Problems /
Tabla de Contenidos: “... -- Algorithms and Models of ECE Module Connections Routing -- Development of Genetic Algorithms for Finding...”
eBook
5
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
6
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
7
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
8
Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics
Publicado 2008
Enlace del recurso
eBook
9
Transactions on Petri Nets and Other Models of Concurrency XII /
Publicado 2017
Materias: “...Algorithms....”
eBook
10
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
11
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
eBook
12
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
13
Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
14
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
15
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Uncountable realtime probabilistic classes -- A Parametrized Analysis of Algorithms on Hierarchical Graphs...”
eBook
16
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
17
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
18
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
Enlace del recurso
eBook
19
Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
20
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
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda