Materias dentro de su búsqueda.
Mostrando 1 - 13 Resultados de 13 Para Buscar 'Theoretical Computer Science AND General Issues ;~', tiempo de consulta: 0.60s Limitar resultados
1
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Publicado 2017
Materias: “...Computers....”
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
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Computer logic....”
eBook
4
High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P 3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...Workshop on Virtualization in High-Performance Cloud Computing (VHPC) -- Visualization at Scale...”
Enlace del recurso
eBook
5
Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers /
Publicado 2017
Tabla de Contenidos: “... -- Dynamic Computation and Languages -- GPUs and Private Memory -- Runt-time and Performance Analysis....”
eBook
6
High-Performance Scientific Computing First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4–5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computer programming....”
Enlace del recurso
eBook
7
Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic...”
eBook
8
Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Disjoint Polymorphism -- Generalizing inference systems by coaxioms -- Observed Communication...”
eBook
9
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
10
Euro-Par 2017: Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... data management and analytics -- Cluster and cloud computing -- Distributed systems and algorithms...”
eBook
11
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings /
Publicado 2017
Materias: “...Computers....”
Enlace del recurso
eBook
12
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Computer logic....”
eBook
13
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computer logic....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda