Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 33 Para Buscar 'Theoretical Computer Science AND General Issues ;~', tiempo de consulta: 0.61s 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
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado 2017
Materias: “...Computer logic....”
eBook
3
Computer Science – Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of Population Protocols -- Verification of Quantum Computation and the Price of Trust -- Graph Sketching...”
eBook
4
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
5
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
6
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
7
Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday /
Publicado 2017
Tabla de Contenidos: “...Cameo of a Consummate Computabilist -- Surfing with Rod -- Prequel to the Cornell Computer Science...”
eBook
8
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers /
Publicado 2017
Materias: “...Natural language processing (Computer science)....”
eBook
9
Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Computability -- Computer science logic -- Complexity -- Algorithms -- Models of computation...”
eBook
10
Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Logic and Language -- Logic and Information -- Computation -- Mathematical Logic -- Theory...”
eBook
11
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...; concurrency -- Celluar automata -- Bio-inspiredcomputing -- Quantum computing....”
eBook
12
Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
13
Combinatorics on Words : 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Classes: Normal Form and Periodicity -- On Arithmetic Index in the Generalized Thue-Morse Word...”
eBook
14
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Computer logic....”
eBook
15
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis...”
eBook
16
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
17
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /
Publicado 2017
Materias: “...Data structures (Computer science)....”
Enlace del recurso
eBook
18
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Symbolic Transducers -- Reduction of Workflow Nets for Generalized Soundness Verification -- Structuring...”
eBook
19
Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computer logic....”
eBook
20
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Computer logic....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda