Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
integration computer » international computer, interactive computer
diagram constructing » diagram construction, program constructing, data constructing
constructing https » construction https, consulting https, constructing better
program diagram » program program, program aram, programs program
integration computer » international computer, interactive computer
diagram constructing » diagram construction, program constructing, data constructing
constructing https » construction https, consulting https, constructing better
program diagram » program program, program aram, programs program
1
Publicado em 2006
Sumário:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2007
Sumário:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2005
Sumário:
“... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Sumário:
“...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2010
Sumário:
“... Impacts on SoS Engineering Effort -- Using Project Procedure Diagrams for Milestone Planning -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Sumário:
“... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2005
Sumário:
“... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2007
Sumário:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2008
Sumário:
“... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2007
Sumário:
“...-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2006
Sumário:
“... for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2005
Sumário:
“...-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2008
Sumário:
“... and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2006
Sumário:
“... -- The Power and Weakness of Randomness in Computation -- Regular Contributions -- A New GCD Algorithm...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2014
Sumário:
“... Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]