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