Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
interactive computing » interactive computer
program construction » programmed instruction
computing problems » compounding problems, routing problems, computers problems
construction https » instruction https, conservation https, construction history
problems program » problems programs, problem program, problems progress
interactive computing » interactive computer
program construction » programmed instruction
computing problems » compounding problems, routing problems, computers problems
construction https » instruction https, conservation https, construction history
problems program » problems programs, problem program, problems progress
1
Publicado 2015
Tabla de Contenidos:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Enlace del recurso
Electrónico
eBook
2
Publicado 2006
Tabla de Contenidos:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Enlace del recurso
Electrónico
eBook
3
Publicado 2010
Tabla de Contenidos:
“...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...”Enlace del recurso
Electrónico
eBook
4
Publicado 2014
Tabla de Contenidos:
“... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...”Enlace del recurso
Electrónico
eBook
5
Publicado 2014
Tabla de Contenidos:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Enlace del recurso
Electrónico
eBook
6
Publicado 2008
Tabla de Contenidos:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Enlace del recurso
Electrónico
eBook
7
Publicado 2005
Tabla de Contenidos:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”Enlace del recurso
Electrónico
eBook
8
Publicado 2007
Tabla de Contenidos:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Enlace del recurso
Electrónico
eBook
9
Publicado 2007
Tabla de Contenidos:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Enlace del recurso
Electrónico
eBook
10
Publicado 2005
Tabla de Contenidos:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Enlace del recurso
Electrónico
eBook
11
Publicado 2008
Tabla de Contenidos:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Enlace del recurso
Electrónico
eBook
12
Tabla de Contenidos:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
13
Publicado 2008
Tabla de Contenidos:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”Enlace del recurso
Electrónico
eBook
14
Publicado 2007
Tabla de Contenidos:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”Enlace del recurso
Electrónico
eBook
15
Publicado 2008
Tabla de Contenidos:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”Enlace del recurso
Electrónico
eBook
16
Publicado 2005
Tabla de Contenidos:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”Enlace del recurso
Electrónico
eBook
17
Publicado 2012
Tabla de Contenidos:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Enlace del recurso
Electrónico
eBook
18
Publicado 2013
Tabla de Contenidos:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”Enlace del recurso
Electrónico
eBook
19
Publicado 2005
Tabla de Contenidos:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”Enlace del recurso
Electrónico
eBook
20
Publicado 2008
Tabla de Contenidos:
“... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...”Enlace del recurso
Electrónico
eBook