Resultados de búsqueda - Theoretical Computer Science and General Issues ;

1

High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference...

Publicado 2017

Materias: “...Computer science—Mathematics....”

eBook

2

Mathematical Methods for Curves and Surfaces 9th International Conference, MMCS 2016, Tønsberg, Norway, June 23–28, 2016, Revised Selected Papers /

Publicado 2017

Tabla de Contenidos: “...Computational assessment of curvatures and principal directions of implicit surfaces from 3D scalar...”
Enlace del recurso

eBook

3

Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings /

Publicado 2017

Materias: “...Computer simulation....”

eBook

4

Parallel Computing Technologies : 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings /

Publicado 2017

Tabla de Contenidos: “...Mainstream parallel computing -- parallel models and algorithms in numerical computation...”

eBook

5

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /

Publicado 2017

Materias: “...Computer logic....”

eBook

6

Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /

Publicado 2017

Materias: “...Probability and Statistics in Computer Science....”

eBook

7

Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /

Publicado 2017

Materias: “...Probability and Statistics in Computer Science....”

eBook

8

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /

Publicado 2017

Tabla de Contenidos: “... Schedulability Analysis Tools -- WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs...”

eBook

9

Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings /

Publicado 2017

Tabla de Contenidos: “... Extraction -- Generalized Hybrid Evolutionary Algorithm Framework with a Mutation Operator Requiring...”

eBook

10

Latent Variable Analysis and Signal Separation 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings /

Publicado 2017

Materias: “...Computer simulation....”
Enlace del recurso

eBook

11

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /

Publicado 2017

Materias: “...Computer logic....”
Enlace del recurso

eBook

12

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,...

Publicado 2017

Tabla de Contenidos: “...-filling curves leading to better scheduling of large-scale computers -- Discussion of real-life production...”
Enlace del recurso

eBook

13