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
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