Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
developing computing » developing competent, developing computer, developing coping
program developing » programs developing, programme developing, programmes developing
interface methods » internal methods, interval methods, interference methods
methods program » methods programmed, methods problem, metrics program
https* » http*
developing computing » developing competent, developing computer, developing coping
program developing » programs developing, programme developing, programmes developing
interface methods » internal methods, interval methods, interference methods
methods program » methods programmed, methods problem, metrics program
https* » http*
1
Julkaistu 2007
Sisällysluettelo:
“... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2014
Sisällysluettelo:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2007
Sisällysluettelo:
“..., Searching, Browsing and Navigation -- IV: Development Methods and Techniques -- V: Advanced Interaction...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2014
Sisällysluettelo:
“... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2013
Sisällysluettelo:
“... Interaction -- Transparent Digital Contents Sharing for Science Teachers -- Development of a Computer...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2007
Sisällysluettelo:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”Hae kokoteksti
Elektroninen
E-kirja
8
Tekijä Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Julkaistu 2011
Sisällysluettelo:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Julkaistu 2011
Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2008
Sisällysluettelo:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2012
Sisällysluettelo:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2010
Sisällysluettelo:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2015
Sisällysluettelo:
“... heritage -- A Review of Research Methods in End User Development -- My program, my world: Insights from 1st...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2006
Sisällysluettelo:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2005
Sisällysluettelo:
“... Human Computer Interaction and Software Engineering in Practice -- Convergence or Competition between...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2005
Sisällysluettelo:
“... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2014
Sisällysluettelo:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2007
Sisällysluettelo:
“... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2014
Sisällysluettelo:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2012
Sisällysluettelo:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”Hae kokoteksti
Elektroninen
E-kirja
20