Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
interactive computing » interactive computer
program composition » process composition, protein composition, proximate composition
computing program » comparing programs, computing progress, computer program
program https » program has, program help
interactive computing » interactive computer
program composition » process composition, protein composition, proximate composition
computing program » comparing programs, computing progress, computer program
program https » program has, program help
1
Publicado em 2008
Sumário:
“... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2006
Sumário:
“... Interaction -- Modeling Web Interactions and Errors -- Composition of Interacting Computations -- From...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2011
Sumário:
“... in a Computational Evolution System for Detecting Epistasis -- Composition of Music and Financial...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“... Multidisciplinary Software Composition for Interactive Applications -- Compositional Modeling for Data-Centric...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2005
Sumário:
“...-Oriented Service Discovery -- Ad Hoc Composition of User Tasks in Pervasive Computing Environments...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“...A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Sumário:
“...I Specification -- Declarative Open Interaction Models -- The ConDec Language -- The CLIMB Rule...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2013
Sumário:
“... Feature Interactions with Generic Feature Modules -- Compositional Development of BPMN -- Building a...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2014
Sumário:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2007
Sumário:
“...)composition -- Haptics and Multimodality -- Exploring the Specification of Haptic Interaction -- Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS...
Publicado em 2014
Sumário:
“... for the Linear π-Calculus with Composite and Equi-Recursive Types -- A Semantical and Operational Account of Call...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2013
Sumário:
“...1. Scientific summary of the German CAWSES priority program -- 2. Models of solar total...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2011
Sumário:
“... Exploration in Search Computing -- Trends in Search Interaction -- Interaction Design:- Context and Action...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2005
Sumário:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”Obter o texto integral
Recurso Electrónico
livro electrónico