Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
program compositional » program composition, program computational, problem compositional
compositional java » compositional data, compositional mda, compositional cases
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
https » http
program compositional » program composition, program computational, problem compositional
compositional java » compositional data, compositional mda, compositional cases
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
https » http
1
Sumário:
“... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2005
Sumário:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”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:
“... -- The BLAST Software Verification System -- Model Checking Programs with Java PathFinder -- State...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2006
Sumário:
“... of Deterministic Blocks in Java PathFinder -- Tools -- A Tool for a Formal Pattern Modeling Language -- An Open...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... Study -- Model Checking Real Time Java Using Java PathFinder -- Infinite-State and Parameterized Systems...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2007
Sumário:
“... Extension to Java PathFinder -- Markov Chains and Real-Time Systems -- A Symbolic Algorithm for Optimal...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2013
Sumário:
“... Web Services Composition -- Software Process Improvement in small companies as a path to Enterprise...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2007
Sumário:
“... Logical Rule Generations Based on the Genetic Programming and Its Applications to Data Mining...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2010
Sumário:
“... Composition: An Ontology-Based Approach -- Multi-agent and Workflow-Based Web Service Management Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2005
Sumário:
“... Paths Between XML Documents Using Sequential Patterns -- Web Information Systems Development -- Using...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2013
Sumário:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”Obter o texto integral
Recurso Electrónico
livro electrónico