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