Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 38 Para Buscar 'Theoretical Computer Science AND General Issues ;', tiempo de consulta: 0.08s Limitar resultados
1
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado 2017
Materias: “...Computer logic....”
eBook
2
Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
Enlace del recurso
eBook
3
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... algebras, idempotent semirings and generalized bunched implication algebras -- Parsing and Printing...”
Enlace del recurso
eBook
4
Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 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: “...Coherence Spaces and Higher-Order Computation -- Coherence Spaces and Uniform Continuity...”
eBook
5
Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part VI /
Publicado 2017
Materias: “...Computer communication systems....”
eBook
6
Computational Science and Its Applications – ICCSA 2017 : 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V /
Publicado 2017
Materias: “...Computer communication systems....”
eBook
7
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical...”
eBook
8
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
9
Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...The Power of Analogue-digital Machines -- Ways to Compute in Euclidean Frameworks. - Real-Time...”
eBook
10
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Theoretical computer science -- Algorithms -- Complexity -- Formal and logical methods....”
eBook
11
Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
12
Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
13
Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings /
Publicado 2017
Materias: “...Computer simulation....”
eBook
14
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computers....”
eBook
15
Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
16
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Computer logic....”
eBook
17
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Computer logic....”
eBook
18
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
19
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
20
Green, Pervasive, and Cloud Computing : 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... and optimization -- Mobile and pervasive computing -- Cybersecurity -- Parallel and distributed computing...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda