Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programs development » program development, programmes development, programs developmental
development computer » development chapter, development center
interface methods » internal methods, interval methods, interference methods
methods programs » methods program, method programs, methods progress
computer https » computers https, computing https, computer arts
programs development » program development, programmes development, programs developmental
development computer » development chapter, development center
interface methods » internal methods, interval methods, interference methods
methods programs » methods program, method programs, methods progress
computer https » computers https, computing https, computer arts
1
Publicado em 2007
Sumário:
“... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2007
Sumário:
“..., Searching, Browsing and Navigation -- IV: Development Methods and Techniques -- V: Advanced Interaction...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2007
Sumário:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
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
6
Publicado em 2013
Sumário:
“... Interaction -- Transparent Digital Contents Sharing for Science Teachers -- Development of a Computer...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
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
8
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
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 2005
Sumário:
“... Human Computer Interaction and Software Engineering in Practice -- Convergence or Competition between...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
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
13
Publicado em 2015
Sumário:
“... heritage -- A Review of Research Methods in End User Development -- My program, my world: Insights from 1st...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
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
16
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
17
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
18
Assuntos:
“...Java (Computer program language)....”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
19
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
20
Publicado em 2012
Sumário:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”Obter o texto integral
Recurso Electrónico
livro electrónico