Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive selection » interaction selection, iterative selection, interactive television
selection programming » selection programme, skeleton programming, selective reprogramming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
interactive selection » interaction selection, iterative selection, interactive television
selection programming » selection programme, skeleton programming, selective reprogramming
program constructing » program construction, diagram constructing, programs conducting
programming program » programming programmed, programming problem, programming problems
constructing https » construction https, consulting https, constructing better
1
Published 2005
Table of Contents:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”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 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”View full text
Electronic
eBook
6
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
7
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
8
Published 2015
Table of Contents:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Concern Interactions in Middleware -- An Improved Genetic Algorithm for Web Services Selection -- Mobility...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Programming Languages -- Implementation, Compilation, Optimization of Object-Oriented Languages...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook