Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming programming » programming programmed, programming program
interactive computing » interactive computer
computing programming » computer programming, computers programming
programming contract » programming contracts, programming constructs, programming constraint
contract method » contact method, contrast method, contrast methods
programming programming » programming programmed, programming program
interactive computing » interactive computer
computing programming » computer programming, computers programming
programming contract » programming contracts, programming constructs, programming constraint
contract method » contact method, contrast method, contrast methods
1
Sumário:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2006
Sumário:
“...Interaction and Coordination of Tools for Structured Data -- Modelling Coordination in Biological...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2015
Sumário:
“...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2014
Sumário:
“... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2013
Sumário:
“... Programming -- Verification of Open Concurrent Object Systems -- Automatic Inference of Bounds on Resource...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2011
Sumário:
“... Performance Computing Applied to the False Nearest Neighbors Method: Box-assisted and KD-Tree Approaches -- 28...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2005
Sumário:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2006
Sumário:
“... Computing -- Position Papers -- Tools for Developing Large Systems (A Proposal) -- Why Programming Languages...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2011
Sumário:
“...Engineering Methods,- Principles for Value-Sensitive Agent-Oriented Software Engineering...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2015
Sumário:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
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
14
Publicado em 2008
Sumário:
“... Process as a Pushdown Automaton -- Modeling Computational Security in Long-Lived Systems -- Contract...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2013
Sumário:
“... Method.- Modeling Quality Attributes of Cloud-Standby-Systems: A Long-Term Cost and Availability Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2010
Sumário:
“... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2005
Sumário:
“... Retrieval and Analysis -- An Interactive Visualization Method for Integrating Digital Elevation Models...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2005
Sumário:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2006
Sumário:
“...1: Research Track Full Papers -- Requirements and Method for Assessment of Service Interoperability...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2007
Sumário:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- 3
- Seguinte »
- [3]