Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive relations » interactive relational, interactive relationship, interactive creation
relations programming » recreation programming, applications programming, simulation programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
interactive relations » interactive relational, interactive relationship, interactive creation
relations programming » recreation programming, applications programming, simulation programming
programming program » programming programmed, programming problem, programming problems
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
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
2
Published 2014
Table of Contents:
“... Relations between Sensitivity and Other Complexity Measures -- On Hardness of Jumbled Indexing -- Morphing...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth...”View full text
Electronic
eBook
5
Table of Contents:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text
View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
9
Table of Contents:
“...Basic Object-Oriented Programming -- Computers and Programming -- Object-Oriented Introduction...”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
11
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
12
Published 2007
Table of Contents:
“... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”View full text
Electronic
eBook
13
Table of Contents:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
View full text
Electronic
eBook
14
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
15
by Potter, Granville Bud., Potter, Granville Bud., Gibbs, John C., Robbins, Molly., Langdon, Peter E.
Published 2015
Table of Contents:
“... to Manage Anger and Correct Thinking Errors -- Chapter 6. Equipping with Social Interaction Skills...”Published 2015
View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”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:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”View full text
Electronic
eBook