Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
program constructing » program construction, diagram constructing, programs conducting
interactive select » interactive selection, interactive perfect, interactive effect
constructing https » construction https, consulting https, constructing better
programs program » programming program
select programs » selected programs, selecting programs, set programs
program constructing » program construction, diagram constructing, programs conducting
interactive select » interactive selection, interactive perfect, interactive effect
constructing https » construction https, consulting https, constructing better
programs program » programming program
select programs » selected programs, selecting programs, set programs
1
Pubblicazione 2005
Sommario:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”Testo
Elettronico
eBook
2
Pubblicazione 2008
Sommario:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Testo
Elettronico
eBook
3
Pubblicazione 2014
Sommario:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Testo
Elettronico
eBook
4
Pubblicazione 2013
Sommario:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Testo
Elettronico
eBook
5
Pubblicazione 2005
Sommario:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”Testo
Elettronico
eBook
6
Pubblicazione 2008
Sommario:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”Testo
Elettronico
eBook
7
Pubblicazione 2012
Sommario:
“..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”Testo
Elettronico
eBook
8
Pubblicazione 2015
Sommario:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”Testo
Elettronico
eBook
9
Pubblicazione 2005
Sommario:
“...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”Testo
Elettronico
eBook
10
Pubblicazione 2014
Sommario:
“...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”Testo
Elettronico
eBook
11
Pubblicazione 2008
Sommario:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Testo
Elettronico
eBook
12
Pubblicazione 2007
Sommario:
“... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”Testo
Elettronico
eBook
13
Pubblicazione 2005
Sommario:
“... -- Representing Agent Interaction Protocols with Agent UML -- AML: Agent Modeling Language Toward Industry-Grade...”Testo
Elettronico
eBook
14
Pubblicazione 2005
Sommario:
“...Reasoning -- Dynamics of Declarative Goals in Agent Programming -- Theories of Intentions...”Testo
Elettronico
eBook
15
Pubblicazione 2014
Sommario:
“... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...”Testo
Elettronico
eBook
16
Pubblicazione 2008
Sommario:
“... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...”Testo
Elettronico
eBook
17
Pubblicazione 2007
Sommario:
“... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...”Testo
Elettronico
eBook
18
Pubblicazione 2007
Sommario:
“... Concern Interactions in Middleware -- An Improved Genetic Algorithm for Web Services Selection -- Mobility...”Testo
Elettronico
eBook
19
Pubblicazione 2007
Sommario:
“...Programming Languages -- Implementation, Compilation, Optimization of Object-Oriented Languages...”Testo
Elettronico
eBook
20
Pubblicazione 2007
Sommario:
“... the Way Down” -- The Construction of Multi-agent Systems as an Engineering Discipline -- Current Issues...”Testo
Elettronico
eBook