Interactive Systems. Design, Specification, and Verification

QR Kod

Interactive Systems. Design, Specification, and Verification

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Graham, T. C. Nicholas, Palanque, Philippe
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science User Interfaces and Human Computer Interaction Computer Communication Networks
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81730
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Benzer Materyaller

Interactive Systems. Design, Specification, and Verification
Yazar:: Doherty, Gavin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Engineering Interactive Systems
Baskı/Yayın Bilgisi: (2020)

Human Centered Design
Baskı/Yayın Bilgisi: (2020)

Groupware: Design, Implementation, and Use
Baskı/Yayın Bilgisi: (2020)

Cooperative Design, Visualization, and Engineering
Yazar:: Luo, Yuhua
Baskı/Yayın Bilgisi: (2020)

Computer Supported Cooperative Work in Design IV
Baskı/Yayın Bilgisi: (2020)

Ubiquitous Computing Systems
Yazar:: Ichikawa, Haruhisa, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Ubiquitous Computing Systems
Yazar:: Murakami, Hitomi, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living
Yazar:: Mokhtari, Mounir, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Argumentation in Multi-Agent Systems
Yazar:: Rahwan, Iyad, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Stabilization, Safety, and Security of Distributed Systems
Baskı/Yayın Bilgisi: (2020)

Integrated Management of Systems, Services, Processes and People in IT
Baskı/Yayın Bilgisi: (2020)

The Handbook of Formal Methods in Human-Computer Interaction
Yazar:: Weyers, Benjamin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Task Models and Diagrams for User Interface Design
Yazar:: Winckler, Marco, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Human Interface and the Management of Information: Information, Knowledge and Interaction Design
Yazar:: Yamamoto, Sakae
Baskı/Yayın Bilgisi: (2020)

Rhythm, Play and Interaction Design
Yazar:: Costello, Brigid M.
Baskı/Yayın Bilgisi: (2020)

Biomechanical Biofeedback Systems and Applications
Yazar:: Kos, Anton, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Engineering Human Computer Interaction and Interactive Systems
Baskı/Yayın Bilgisi: (2020)

Human-Computer Interaction. Interaction Design and Usability
Yazar:: Jacko, Julie A.
Baskı/Yayın Bilgisi: (2020)

Design, User Experience, and Usability: Designing Interactions
Yazar:: Marcus, Aaron, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Human-Computer Interaction. User Interface Design, Development and Multimodality
Yazar:: Kurosu, Masaaki
Baskı/Yayın Bilgisi: (2020)

Haptic and Audio Interaction Design
Yazar:: Oakley, Ian, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Haptic and Audio Interaction Design
Baskı/Yayın Bilgisi: (2020)

More Playful User Interfaces: Interfaces that Invite Social and Physical Interaction
Yazar:: Nijholt, Anton
Baskı/Yayın Bilgisi: (2015)

Advances in Human Factors and Systems Interaction
Yazar:: Nunes, Isabel L.
Baskı/Yayın Bilgisi: (2019)

Modeling and Using Context
Yazar:: Brézillon, Patrick, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded and Ubiquitous Computing - EUC 2005 Workshops
Yazar:: Enokido, Tomoya, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

UbiComp 2005: Ubiquitous Computing
Yazar:: Beigl, Michael, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

UbiComp 2007: Ubiquitous Computing
Yazar:: Krumm, John, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Modeling Communication with Robots and Virtual Humans
Yazar:: Wachsmuth, Ipke, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Evaluation in the Crowd. Crowdsourcing and Human-Centered Experiments
Yazar:: Archambault, Daniel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Critical Information Infrastructures Security
Baskı/Yayın Bilgisi: (2020)

Embedded and Ubiquitous Computing - EUC 2005
Yazar:: Yang, Laurence T., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded and Ubiquitous Computing
Yazar:: Kuo, Tei-Wei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Leveraging Knowledge for Innovation in Collaborative Networks
Baskı/Yayın Bilgisi: (2020)

Traffic Management and Traffic Engineering for the Future Internet
Baskı/Yayın Bilgisi: (2020)

Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation
Yazar:: Roberts, Jonathan C., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

The Role of Psychological Reactance in Human–Computer Interaction
Yazar:: Ehrenbrink, Patrick
Baskı/Yayın Bilgisi: (2020)

Learning by Playing. Game-based Education System Design and Development
Baskı/Yayın Bilgisi: (2020)

Wearable Interaction
Yazar:: Motti, Vivian Genaro
Baskı/Yayın Bilgisi: (2020)