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