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