Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programmed developing » programme developing, programmes developing, programming developing
developing computing » developing competent, developing computer, developing coping
method programmed » methods programmed, methods programming, etc programmed
interface method » interface methods, interphase method, interval method
https » http
programmed developing » programme developing, programmes developing, programming developing
developing computing » developing competent, developing computer, developing coping
method programmed » methods programmed, methods programming, etc programmed
interface method » interface methods, interphase method, interval method
https » http
1
Publicat 2007
Taula de continguts:
“... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...”Obtenir text complet
Electrònic
eBook
2
Publicat 2014
Taula de continguts:
“...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“..., Searching, Browsing and Navigation -- IV: Development Methods and Techniques -- V: Advanced Interaction...”Obtenir text complet
Electrònic
eBook
5
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
6
Publicat 2013
Taula de continguts:
“... Interaction -- Transparent Digital Contents Sharing for Science Teachers -- Development of a Computer...”Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...”Obtenir text complet
Electrònic
eBook
8
Publicat 2008
Taula de continguts:
“... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...”Obtenir text complet
Electrònic
eBook
9
per Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicat 2011
Taula de continguts:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Publicat 2011
Obtenir text complet
Electrònic
eBook
10
Publicat 2012
Taula de continguts:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”Obtenir text complet
Electrònic
eBook
11
Publicat 2010
Taula de continguts:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Obtenir text complet
Electrònic
eBook
12
Publicat 2015
Taula de continguts:
“... heritage -- A Review of Research Methods in End User Development -- My program, my world: Insights from 1st...”Obtenir text complet
Electrònic
eBook
13
Publicat 2006
Taula de continguts:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... Management -- 2/3 Alternating Simulation Between Interface Automata -- Development -- Formal Model-Driven...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... Human Computer Interaction and Software Engineering in Practice -- Convergence or Competition between...”Obtenir text complet
Electrònic
eBook
16
Publicat 2014
Taula de continguts:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”Obtenir text complet
Electrònic
eBook
17
Publicat 2012
Taula de continguts:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...”Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”Obtenir text complet
Electrònic
eBook
20