Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
1
Publicado 2017
Materias:
“...Computers....”
eBook
2
Publicado 2017
Materias:
“...Computer logic....”
eBook
3
Publicado 2017
Tabla de Contenidos:
“...Coherence Spaces and Higher-Order Computation -- Coherence Spaces and Uniform Continuity...”
eBook
4
Publicado 2017
Materias:
“...Computer communication systems....”
eBook
5
Publicado 2017
Materias:
“...Computer science—Mathematics....”
eBook
6
Publicado 2017
Materias:
“...Computer logic....”
eBook
7
Publicado 2017
Tabla de Contenidos:
“...Workshop on Virtualization in High-Performance Cloud Computing (VHPC) -- Visualization at Scale...”Enlace del recurso
eBook
8
Publicado 2017
Tabla de Contenidos:
“... -- Dynamic Computation and Languages -- GPUs and Private Memory -- Runt-time and Performance Analysis....”
eBook
9
Verification and Evaluation of Computer and Communication Systems : 11th International Conference...
Publicado 2017
Tabla de Contenidos:
“...Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic...”
eBook
10
Publicado 2017
Tabla de Contenidos:
“... Schedulability Analysis Tools -- WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs...”
eBook
11
Publicado 2017
Tabla de Contenidos:
“...Disjoint Polymorphism -- Generalizing inference systems by coaxioms -- Observed Communication...”
eBook
12
Publicado 2017
Tabla de Contenidos:
“... Symbolic Transducers -- Reduction of Workflow Nets for Generalized Soundness Verification -- Structuring...”
eBook
13
Publicado 2017
Materias:
“...Programming languages (Electronic computers)....”
eBook
14
Publicado 2017
Tabla de Contenidos:
“... data management and analytics -- Cluster and cloud computing -- Distributed systems and algorithms...”
eBook
15
Publicado 2017
Materias:
“...Computer logic....”
eBook
16
Publicado 2017
Materias:
“...Computer logic....”
eBook
17
Publicado 2017
Tabla de Contenidos:
“... for the Efficient Verification of Parametric MDPs -- JANI: Quantitative Model and Tool Interaction -- Computing...”
eBook
18
Publicado 2017
Materias:
“...Computer logic....”
eBook
19
Publicado 2017
Materias:
“...Programming languages (Electronic computers)....”
eBook
20