Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
101
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
Publicado 2017
Tabla de Contenidos:
“...Methodological Issues in eParticipation -- eParticipation Implementations -- Policy Modeling...”
eBook
103
Publicado 2017
Materias:
“...Computer logic....”
eBook
104
Publicado 2017
Tabla de Contenidos:
“... for the Efficient Verification of Parametric MDPs -- JANI: Quantitative Model and Tool Interaction -- Computing...”
eBook
105
Publicado 2017
Materias:
“...Computer logic....”
eBook
106
Publicado 2017
Tabla de Contenidos:
“...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
107
Publicado 2017
Tabla de Contenidos:
“...Parallel and distributed computing education for undergraduate students.– Algorithms, models...”
eBook
108
109
Publicado 2017
Tabla de Contenidos:
“... -- Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small...”
eBook
110
Publicado 2017
Tabla de Contenidos:
“...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
111
Publicado 2017
Tabla de Contenidos:
“...Verified Computations using Taylor Models and Their Applications -- Introduction to the IEEE 1788...”
eBook
112
Publicado 2017
Tabla de Contenidos:
“...Machine Learning -- Reinforcement Learning -- Big Data Analysis -- Deep Learning -- Brain-Computer...”
eBook
113
Publicado 2017
Materias:
“...Computer logic....”
eBook
114
Publicado 2017
Materias:
“...Computers....”
eBook
115
Publicado 2017
Materias:
“...Programming languages (Electronic computers)....”
eBook
116
117
Publicado 2017
Materias:
“...Computer logic....”
eBook
118
Tabla de Contenidos:
“...Theoretical and Methodological Issues in the Study of Intergenerational Parallelism of Deviance...”
Enlace del recurso
Enlace del recurso
eBook
119
Publicado 2017
Tabla de Contenidos:
“...-Party Computation -- FoCaLiZe and Dedukti to the Rescue for Proof Interoperability -- A Formal Proof...”
eBook
120
Publicado 2017
Tabla de Contenidos:
“... -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic....”
eBook