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