Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 47 Para Buscar 'Theoretical Computer Science and General Issues ;', tiempo de consulta: 0.10s 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
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
3
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
4
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
5
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
6
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
7
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
8
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
9
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
10
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
11
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
12
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
13
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
14
Computational Logistics : 8th International Conference, ICCL 2017, Southampton, UK, October 18-20, 2017, Proceedings /
Publicado 2017
Materias: “...Computer simulation....”
eBook
15
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computers....”
eBook
16
Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
17
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
18
Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings /
Publicado 2017
Materias: “...Computer organization....”
eBook
19
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Computer logic....”
eBook
20
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Computer logic....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda