Materias dentro de su búsqueda.
Mostrando 1 - 10 Resultados de 10 Para Buscar 'Theoretical Computer Science AND General Issues ;', tiempo de consulta: 0.32s Limitar resultados
1
High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
2
Graph Transformation : 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
3
High Performance Computing : 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...-aware computing....”
eBook
4
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Computer logic....”
eBook
5
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
6
Algorithmic Aspects of Cloud Computing : Second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... of parallel and distributed computing for cloud applications -- Scalable machine learning, analytics and data...”
Enlace del recurso
eBook
7
Wireless Algorithms, Systems, and Applications : 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Localization -- Mobile cloud computing -- Topology control and coverage -- Security and privacy -- Underwater...”
eBook
8
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Publicado 2017
Materias: “...Programming languages (Electronic computers)....”
eBook
9
Euro-Par 2016: Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...Parallel and distributed computing education for undergraduate students.– Algorithms, models...”
eBook
10
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...-Party Computation -- FoCaLiZe and Dedukti to the Rescue for Proof Interoperability -- A Formal Proof...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda