Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programme developing » programmes developing, programming developing, programme development
programs developing » projects developing, program development, process developing
interactive method » interactive methods, iterative method, interaction method
computer https » computers https, computing https, computer arts
programme developing » programmes developing, programming developing, programme development
programs developing » projects developing, program development, process developing
interactive method » interactive methods, iterative method, interaction method
computer https » computers https, computing https, computer arts
1
Argitaratua 2014
Aurkibidea:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Testu osoa
Baliabide elektronikoa
eBook
2
3
Argitaratua 2007
Aurkibidea:
“...1: Interaction Design: Theoretical Issues, Methods, Techniques and Practice -- 2: Usability...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“... Conflicts? -- Trade Liberalization and Political Instability in Developing Countries -- Computer Assisted...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... and Dialogue Parts of Multimodal Interactive Systems -- USIXML: A Language Supporting Multi-path Development...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2013
Aurkibidea:
“... Computer Interaction with Episodic Memory in a Virtual Guide -- System of Generating Japanese Sound...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2014
Aurkibidea:
“... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2007
Aurkibidea:
“...I: Designing for Universal Access -- II: Universal Access Methods, Techniques and Tools -- III...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2005
Aurkibidea:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“... We Practise What We Preach in Formulating Our Design and Development Methods? -- Engaging Patterns...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2013
Aurkibidea:
“... Movement Method for Evaluating Computer Mice -- AugmentedBacklight: Expansion of LCD Backlights Using...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2008
Aurkibidea:
“... Computing, Crisis Management and Workflow Modelling -- A Method for Modeling Interactions on Task...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2011
Aurkibidea:
“... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2014
Aurkibidea:
“... of formal methods in human-machine interaction analysis -- Formal methods for parallel hardware...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2013
Aurkibidea:
“... Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2014
Aurkibidea:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”Testu osoa
Baliabide elektronikoa
eBook
19
nork Verhulst, Eric., Verhulst, Eric., Boute, Raymond T., Faria, José Miguel Sampaio., Sputh, Bernhard H.C., Mezhuyev, Vitaliy.
Argitaratua 2011
Aurkibidea:
“... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...”Argitaratua 2011
Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... Walkthrough: Evaluation of Safety Critical Interactive Systems -- Model Based Development -- Collaborative...”Testu osoa
Baliabide elektronikoa
eBook