Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
interface specification » service specification
specification program » specifications program, verification program, purification program
program comparing » program comparison, programs compiling, problem comparing
program program » programs program, programming program
comparing https » computing https, comparing hst, comparing things
interface specification » service specification
specification program » specifications program, verification program, purification program
program comparing » program comparison, programs compiling, problem comparing
program program » programs program, programming program
comparing https » computing https, comparing hst, comparing things
1
Publicado em 2008
Sumário:
“... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2010
Sumário:
“... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2007
Sumário:
“... for Facilitating eBay Transactions Using Skype -- Localization in Korea of User Interface of the 3G Mobile Handset...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2005
Sumário:
“... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2005
Sumário:
“... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2005
Sumário:
“... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2014
Sumário:
“... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2010
Sumário:
“... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2010
Sumário:
“... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2005
Sumário:
“... Generation from UML Models with Semantic Variation Points -- Composing Domain-Specific Languages for Wide...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Sumário:
“... Level Design of a Shared Memory System -- Specification of Interfaces -- Data Paths of Caches -- Cache...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2008
Sumário:
“... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2010
Sumário:
“... -- Exploratory Analysis of the Social Network of Researchers in Inductive Logic Programming -- Information Flow...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2010
Sumário:
“... -- Comparing Knowledge Tracing and Performance Factor Analysis by Using Multiple Model Fitting Procedures...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2012
Sumário:
“... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2010
Sumário:
“... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2006
Sumário:
“... and Application Execution in a Grid: A Migration Experience from GT2 to GT4 -- A Comparative Analysis Between EGEE...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2006
Sumário:
“...A Quantitative Method for Revealing and Comparing Places in the Home -- Principles of Smart Home...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2005
Sumário:
“... of Models: From Abstract Views to Concrete Specifications -- Flexible Business Process Management Using...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2006
Sumário:
“... of Location-Aware Service for Popular Mobile Phones -- A Wearable Interface for Topological Mapping...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
- 1
- 2
- Seguinte »
- [2]



