1
Julkaistu 2014
Sisällysluettelo: ...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2006
Sisällysluettelo: ... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2007
Sisällysluettelo: ...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2005
Sisällysluettelo: ... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2013
Sisällysluettelo: ... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2014
Sisällysluettelo: ... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2005
Sisällysluettelo: ... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2011
Sisällysluettelo: ... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2013
Sisällysluettelo: ... Movement Method for Evaluating Computer Mice -- AugmentedBacklight: Expansion of LCD Backlights Using...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2007
Sisällysluettelo: ...I: Designing for Universal Access -- II: Universal Access Methods, Techniques and Tools -- III...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2005
Sisällysluettelo: ...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2008
Sisällysluettelo: ... We Practise What We Preach in Formulating Our Design and Development Methods? -- Engaging Patterns...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2010
Sisällysluettelo: ... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2008
Sisällysluettelo: ... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2014
Sisällysluettelo: ... of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2014
Sisällysluettelo: ... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2013
Sisällysluettelo: ... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2006
Sisällysluettelo: ... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2014
Sisällysluettelo: ...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2011
Aiheet: ...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...
Hae kokoteksti
Elektroninen E-kirja