1
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
2
Publicado em 2007
Sumário: ...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2005
Sumário: ... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2013
Sumário: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2014
Sumário: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2007
Sumário: ...I: Designing for Universal Access -- II: Universal Access Methods, Techniques and Tools -- III...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2005
Sumário: ... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2005
Sumário: ...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2013
Sumário: ... Movement Method for Evaluating Computer Mice -- AugmentedBacklight: Expansion of LCD Backlights Using...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2011
Sumário: ... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2008
Sumário: ... We Practise What We Preach in Formulating Our Design and Development Methods? -- Engaging Patterns...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2014
Sumário: ... of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware...
Obter o texto integral
Recurso Electrónico livro electrónico
16
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
17
Publicado em 2013
Sumário: ... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ... Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative...
Obter o texto integral
Recurso Electrónico livro electrónico
19
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
20
Publicado em 2013
Sumário: ... -- Adaptive finite elements and mathematical optimization methods -- Part II Grinding -- High-Performance...
Obter o texto integral
Recurso Electrónico livro electrónico