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



