Interactive Systems. Design, Specification, and Verification

Autor Graham, T. C. Nicholas, Palanque, Philippe
Vydáno 2020

Task Models and Diagrams for User Interface Design

Autor Winckler, Marco, Johnson, Hilary, Palanque, Philippe
Vydáno 2020

The Handbook of Formal Methods in Human-Computer Interaction

Autor Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Vydáno 2020

Human-Computer Interaction - INTERACT 2007

Autor Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
Vydáno 2020

Human-Computer Interaction - INTERACT 2007

Autor Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
Vydáno 2020