Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
developing computing » developing competent, developing computer, developing coping
interactive method » interactive methods, iterative method, interaction method
program developing » programs developing, programme developing, programmes developing
method program » methods program, method programs, method programmed
https » http
developing computing » developing competent, developing computer, developing coping
interactive method » interactive methods, iterative method, interaction method
program developing » programs developing, programme developing, programmes developing
method program » methods program, method programs, method programmed
https » http
1
Publicat 2014
Taula de continguts:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”Obtenir text complet
Electrònic
eBook
3
Publicat 2005
Taula de continguts:
“... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...”Obtenir text complet
Electrònic
eBook
4
Publicat 2013
Taula de continguts:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”Obtenir text complet
Electrònic
eBook
8
Publicat 2005
Taula de continguts:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”Obtenir text complet
Electrònic
eBook
9
Publicat 2013
Taula de continguts:
“... Movement Method for Evaluating Computer Mice -- AugmentedBacklight: Expansion of LCD Backlights Using...”Obtenir text complet
Electrònic
eBook
10
Publicat 2007
Taula de continguts:
“...I: Designing for Universal Access -- II: Universal Access Methods, Techniques and Tools -- III...”Obtenir text complet
Electrònic
eBook
11
Publicat 2011
Taula de continguts:
“... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... We Practise What We Preach in Formulating Our Design and Development Methods? -- Engaging Patterns...”Obtenir text complet
Electrònic
eBook
14
Publicat 2014
Taula de continguts:
“... of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”Obtenir text complet
Electrònic
eBook
17
Publicat 2013
Taula de continguts:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”Obtenir text complet
Electrònic
eBook
18
Publicat 2006
Taula de continguts:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”Obtenir text complet
Electrònic
eBook
19
Publicat 2013
Taula de continguts:
“... -- Adaptive finite elements and mathematical optimization methods -- Part II Grinding -- High-Performance...”Obtenir text complet
Electrònic
eBook
20
Publicat 2005
Taula de continguts:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”Obtenir text complet
Electrònic
eBook