Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interaction applications » interactive applications, internet applications, simulation applications
programming constructs » programming concepts, programming contest
applications program » applications programs, application program, application programs
program programming » programs programming, programmer programming, pram programming
constructs https » construction https, constructs loops, constructs arti
interaction applications » interactive applications, internet applications, simulation applications
programming constructs » programming concepts, programming contest
applications program » applications programs, application program, application programs
program programming » programs programming, programmer programming, pram programming
constructs https » construction https, constructs loops, constructs arti
1
Published 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
3
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
4
Published 2005
Table of Contents:
“... Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Transformations -- The Feasibility of Interactively Probing Quiescent Properties of GUI Applications -- A...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
7
Table of Contents:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text
View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“... Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”View full text
Electronic
eBook
10
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“...Performance Tools -- Performance Analysis of Large-Scale OpenMP and Hybrid MPI/OpenMP Applications...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook