Interactive Systems. Design, Specification, and Verification

ανά Graham, T. C. Nicholas, Palanque, Philippe
Έκδοση 2020

Task Models and Diagrams for User Interface Design

ανά Winckler, Marco, Johnson, Hilary, Palanque, Philippe
Έκδοση 2020

The Handbook of Formal Methods in Human-Computer Interaction

ανά Weyers, Benjamin, Bowen, Judy, Dix, Alan, Palanque, Philippe
Έκδοση 2020

Human-Computer Interaction - INTERACT 2007

ανά Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone Diniz Junqueira
Έκδοση 2020

Human-Computer Interaction - INTERACT 2007

ανά Baranauskas, Cecília, Palanque, Philippe, Abascal, Julio, Barbosa, Simone D. Junqueira
Έκδοση 2020