Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
interactive computing » interactive computer
program constructs » program construction, program constructing, programming constructs
computing problem » computing problems, routing problem, computer problem
constructs https » construction https, constructs loops, constructs arti
problem program » problems programs, program program, problem problem
interactive computing » interactive computer
program constructs » program construction, program constructing, programming constructs
computing problem » computing problems, routing problem, computer problem
constructs https » construction https, constructs loops, constructs arti
problem program » problems programs, program program, problem problem
1
Έκδοση 2015
Πίνακας περιεχομένων:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
3
Έκδοση 2010
Πίνακας περιεχομένων:
“...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
4
Έκδοση 2014
Πίνακας περιεχομένων:
“... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
5
Έκδοση 2005
Πίνακας περιεχομένων:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
6
Έκδοση 2007
Πίνακας περιεχομένων:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
7
Έκδοση 2014
Πίνακας περιεχομένων:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
8
Έκδοση 2008
Πίνακας περιεχομένων:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
9
Έκδοση 2007
Πίνακας περιεχομένων:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
10
Έκδοση 2008
Πίνακας περιεχομένων:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
11
Έκδοση 2005
Πίνακας περιεχομένων:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
12
Έκδοση 2008
Πίνακας περιεχομένων:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
13
Πίνακας περιεχομένων:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
14
Έκδοση 2012
Πίνακας περιεχομένων:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
15
Έκδοση 2007
Πίνακας περιεχομένων:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
16
Έκδοση 2008
Πίνακας περιεχομένων:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
17
Έκδοση 2005
Πίνακας περιεχομένων:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
18
Έκδοση 2013
Πίνακας περιεχομένων:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
19
Έκδοση 2006
Πίνακας περιεχομένων:
“...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο
20
Έκδοση 2005
Πίνακας περιεχομένων:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή
Ηλ. βιβλίο