Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
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 developing » projects developing, program development, process developing
developing computer » development computer, developing competent, developing complex
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
Published 2007
Table of Contents:
“... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“..., Searching, Browsing and Navigation -- IV: Development Methods and Techniques -- V: Advanced Interaction...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Interaction -- Transparent Digital Contents Sharing for Science Teachers -- Development of a Computer...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”View full text
Electronic
eBook
8
by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011
Table of Contents:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Published 2011
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Human Computer Interaction and Software Engineering in Practice -- Convergence or Competition between...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... heritage -- A Review of Research Methods in End User Development -- My program, my world: Insights from 1st...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...”View full text
Electronic
eBook
18
19
Published 2014
Table of Contents:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”View full text
Electronic
eBook
20
Published 2012
Table of Contents:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”View full text
Electronic
eBook