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 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...I: Design and Evaluation Methods and Techniques -- II: Visualising Information -- III: Retrieval...
View full text
Electronic eBook
7
Published 2013
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
8
Published 2014
Subjects: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
9
Table of Contents: ...User Guide -- Brain–Computer Interfaces -- Brain Sensors and Signals -- Introducing BCI2000 -- Tour...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Programming Learning Support System Based on Reading Computer program -- The Display Medium, Academic Major...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...
View full text
Electronic eBook
12
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
13
Published 2008
Table of Contents: ...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ...Simulation -- Modeling -- Programming -- Architectures -- Methods and Tools -- Systems...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... User Interface, a Generic Approach -- A Vision Based Game Control Method -- Mobile Camera-Based User...
View full text
Electronic eBook