Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programs developing » projects developing, program development, process developing
interface method » interface methods, interphase method, interval method
method programs » methods program, method progress, method programmed
context https » context helps, concepts https
programs developing » projects developing, program development, process developing
interface method » interface methods, interphase method, interval method
method programs » methods program, method progress, method programmed
context https » context helps, concepts https
1
Publicado em 2006
Sumário:
“... Method for Ubiquitous Robots Based on Wireless Sensor Networks -- Context Awareness and Architectures...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“... of Context in In-situ Remote Robot Control -- Assessing the Impact of Latency and Jitter on the Perceived...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2014
Sumário:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2012
Sumário:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2013
Sumário:
“... Interface of Interactive Media Art in Stereoscopic Environment -- A Method of Viewing 3D Horror Contents...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2007
Sumário:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Por Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicado em 2011
Sumário:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Publicado em 2011
Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2010
Sumário:
“... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2006
Sumário:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2005
Sumário:
“... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2014
Sumário:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2011
Sumário:
“...-S, A Scenario Based Solution Analysis and Comparison -- Enterprise Systems in a Service Science Context...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2013
Sumário:
“... of Mathematics Teachers of the GIFT Program Using Success Case Methodology -- Cultivating an Interface Through...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2010
Sumário:
“... in the Development of a Robotic Screw Remover System -- A Parameterless Biologically Inspired Control Algorithm...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2012
Sumário:
“... Composable Mixed Mode Concurrency Control Semantics for Transactional Programs -- Towards a Formal...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
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
18
Publicado em 2005
Sumário:
“... to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2014
Sumário:
“... Environments with Pattern-Based Extraction -- Evaluation of Model-Based User Interface Development Approaches...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Sumário:
“...Going Inside Java -- Designing Libraries, Classes, and Methods -- Using Threads in Your...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico