Materias dentro de su búsqueda.
Mostrando 101 - 120 Resultados de 127 Para Buscar 'Theoretical computer science and general issues.', tiempo de consulta: 0.12s Limitar resultados
101
Job Scheduling Strategies for Parallel Processing 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...-filling curves leading to better scheduling of large-scale computers -- Discussion of real-life production...”
Enlace del recurso
eBook
102
Electronic Participation : 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Methodological Issues in eParticipation -- eParticipation Implementations -- Policy Modeling...”
eBook
103
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
104
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 II /
Publicado 2017
Tabla de Contenidos: “... for the Efficient Verification of Parametric MDPs -- JANI: Quantitative Model and Tool Interaction -- Computing...”
eBook
105
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computer logic....”
eBook
106
Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part I /
Publicado 2017
Tabla de Contenidos: “...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
107
Euro-Par 2016: Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...Parallel and distributed computing education for undergraduate students.– Algorithms, models...”
eBook
108
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
109
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small...”
eBook
110
Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14–18, 2017, Proceedings, Part VI /
Publicado 2017
Tabla de Contenidos: “...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
111
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Verified Computations using Taylor Models and Their Applications -- Introduction to the IEEE 1788...”
eBook
112
Neural Information Processing : 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II /
Publicado 2017
Tabla de Contenidos: “...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
113
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Computer logic....”
eBook
114
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
Materias: “...Computers....”
eBook
115
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Programming languages (Electronic computers)....”
eBook
116
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
por Zeume, Thomas.
Publicado 2017
Materias: “...Computer logic....”
eBook
117
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
118
The Cycle of Deviant Behavior Investigating Intergenerational Parallelism /
Tabla de Contenidos: “...Theoretical and Methodological Issues in the Study of Intergenerational Parallelism of Deviance...”
Enlace del recurso
eBook
119
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...-Party Computation -- FoCaLiZe and Dedukti to the Rescue for Proof Interoperability -- A Formal Proof...”
eBook
120
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda