Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 26 Para Buscar 'Theoretical Computer Science and General Issues ;', tiempo de consulta: 0.09s 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
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
3
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
4
DNA Computing and Molecular Programming : 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Algorithms and models for computation with biomolecular systems -- Computational processes in vitro...”
eBook
5
Evolutionary Computation in Combinatorial Optimization : 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...A Computational Study of Neighborhood Operators for Job-shop Scheduling Problems with Regular...”
eBook
6
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
7
Genetic Programming : 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings /
Publicado 2017
Materias: “...Computer science—Mathematics....”
eBook
8
Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computers....”
eBook
9
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
10
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
11
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
12
Theory and Practice of Natural Computing : 6th International Conference, TPNC 2017, Prague, Czech Republic, December 18-20, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Applications of natural computing -- Evolutionary computation -- Fuzzy logic -- Molecular...”
eBook
13
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
14
Natural and Artificial Computation for Biomedicine and Neuroscience : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I /
Publicado 2017
Tabla de Contenidos: “...Theoretical neural computation -- Models -- Natural computing in bioinformatics -- Physiological...”
eBook
15
Biomedical Applications Based on Natural and Artificial Computing International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II /
Publicado 2017
Tabla de Contenidos: “...Biomedical applications -- Mobile brain computer interaction -- Human robot interaction -- Deep...”
Enlace del recurso
eBook
16
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
17
Simulated Evolution and Learning : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Extraction -- Generalized Hybrid Evolutionary Algorithm Framework with a Mutation Operator Requiring...”
eBook
18
Quantum Interaction : 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computers....”
eBook
19
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Computer logic....”
Enlace del recurso
eBook
20
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
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda