Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
composition microprogram » compositional microprogram, composition programs
compositional program » composition programs, computational program, compositional problems
interactive computer » interfaces computer, internet computer
composition microprogram » compositional microprogram, composition programs
compositional program » composition programs, computational program, compositional problems
interactive computer » interfaces computer, internet computer
1
Publié 2006
Table des matières:
“... Interaction -- Modeling Web Interactions and Errors -- Composition of Interacting Computations -- From...”Accéder au texte intégral
Électronique
eBook
2
Publié 2008
Table des matières:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Accéder au texte intégral
Électronique
eBook
3
Publié 2008
Table des matières:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Accéder au texte intégral
Électronique
eBook
5
Publié 2008
Table des matières:
“... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...”Accéder au texte intégral
Électronique
eBook
6
Publié 2005
Table des matières:
“...-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments...”Accéder au texte intégral
Électronique
eBook
7
Publié 2005
Table des matières:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Accéder au texte intégral
Électronique
eBook
8
Publié 2010
Table des matières:
“...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”Accéder au texte intégral
Électronique
eBook
9
Publié 2005
Table des matières:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”Accéder au texte intégral
Électronique
eBook
10
Publié 2014
Table des matières:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Accéder au texte intégral
Électronique
eBook
11
Publié 2011
Table des matières:
“... in a Computational Evolution System for Detecting Epistasis -- Composition of Music and Financial...”Accéder au texte intégral
Électronique
eBook
12
Table des matières:
“...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
13
Publié 2013
Table des matières:
“... Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a...”Accéder au texte intégral
Électronique
eBook
14
Publié 2014
Table des matières:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Accéder au texte intégral
Électronique
eBook
15
Publié 2007
Table des matières:
“...)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis...”Accéder au texte intégral
Électronique
eBook
16
Publié 2011
Table des matières:
“... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”Accéder au texte intégral
Électronique
eBook
17
Publié 2010
Table des matières:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”Accéder au texte intégral
Électronique
eBook
18
Publié 2006
Table des matières:
“... Tools for Interactive Storytelling -- Mixed Reality Based Interactive 3D Story Composition Tool...”Accéder au texte intégral
Électronique
eBook
19
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Publié 2014
Table des matières:
“... for the Linear π-Calculus with Composite and Equi-Recursive Types -- A Semantical and Operational Account of Call...”Accéder au texte intégral
Électronique
eBook
20
Publié 2005
Table des matières:
“... Variants of DC -- Challenges in Increasing Tool Support for Programming -- A Predicate Spatial Logic...”Accéder au texte intégral
Électronique
eBook