Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computing » interactive computer
computing programming » computer programming, computers programming
programming problem » programming problems
problem constructs » problem construction, problem constructive, problem constructing
constructs https » construction https, constructs loops, constructs arti
interactive computing » interactive computer
computing programming » computer programming, computers programming
programming problem » programming problems
problem constructs » problem construction, problem constructive, problem constructing
constructs https » construction https, constructs loops, constructs arti
1
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”View full text
Electronic
eBook
14
Table of Contents:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text
View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Introducing Combustion-Turbulence Interaction in Parallel Simulation of Diesel Engines...”View full text
Electronic
eBook