Formal Methods in Human-Computer Interaction

EISBN:9781447134251
PISBN:9783540761587
出版社:Springer London
出版类型:Graduate/advanced undergraduate textbook
出版时间:1998
版次:1998
作者:Philippe Palanque,Fabio Paterno
主题词:Computer Science,Mathematical Logic and Formal Languages,User Interfaces and Human Computer Interaction
语种:英语
相关推荐

The Handbook of Formal Methods in Human-Computer Interaction

  • 作者:Benjamin Weyers,Judy Bowen,Alan Dix,Philippe Palanque
  • EISBN:9783319518381
  • 出版社:Springer International Publishing
  • 出版时间:2017

Formal Methods in Human-Computer Interaction

  • 作者:Philippe Palanque,Fabio Paternò
  • EISBN:9781447134251
  • 出版社:Springer London
  • 出版时间:1998

Research Methods in Human-Computer Interaction

  • 作者:Lazar,Jonathan
  • PISBN:9780128053904
  • 出版时间:2017

Human-Computer Interaction. Theories, Methods, and Tools

  • 作者:Masaaki Kurosu
  • EISBN:9783319072333
  • 出版社:Springer International Publishing
  • 出版时间:2014

Human-Computer Interaction. Novel Interaction Methods and Techniques

  • 作者:Julie A. Jacko
  • EISBN:9783642025778
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Human-Computer Interaction

  • 作者:Masaaki Kurosu,Ayako Hashizume
  • EISBN:9783031604058
  • 出版社:Springer Nature
  • 出版时间:2024