The Handbook of Formal Methods in Human-Computer Interaction More Books Like This

Engineering Interactive Systems Engineering Interactive Systems
2008
Interactive Systems. Design, Specification, and Verification Interactive Systems. Design, Specification, and Verification
2008
Engineering Interactive Systems 2008 Engineering Interactive Systems 2008
2008
Constructing Ambient Intelligence Constructing Ambient Intelligence
2008
Intelligent-Based Systems Engineering Intelligent-Based Systems Engineering
2011
Task Models and Diagrams for Users Interface Design Task Models and Diagrams for Users Interface Design
2007
Computer-Aided Design of User Interfaces VI Computer-Aided Design of User Interfaces VI
2010
Model-Driven Development of Reliable Automotive Services Model-Driven Development of Reliable Automotive Services
2008
Software Adaptation in an Open Environment Software Adaptation in an Open Environment
2017
Model-Based Engineering of Embedded Real-Time Systems Model-Based Engineering of Embedded Real-Time Systems
2010
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
2018
Foundations of Computer Software Foundations of Computer Software
2011
Task Models and Diagrams for User Interface Design Task Models and Diagrams for User Interface Design
2007
Model-Driven Engineering and Software Development Model-Driven Engineering and Software Development
2021
Models in Software Engineering Models in Software Engineering
2008