| 1. 
  |  | Title: Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology) by Philippe Palanque, Fabio Paterno
 ISBN: 3540761586
 Publisher: Springer Verlag
 Pub. Date: 15 January, 1998
 List Price: $66.95
 Amazon.com Price: $66.95
 | 
| 2. 
  |  | Title: People and Computers XVII: Designing for Society by Eamonn O'Neill, Philippe Palanque, Peter Johnson
 ISBN: 1852337664
 Publisher: Springer Verlag
 Pub. Date: October, 2003
 List Price: $149.00
 Amazon.com Price: $149.00
 | 
| 3. 
  |  | Title: Critical Issues in User Interface Systems Engineering (Applied Computing) by David Benyon, Philippe Palanque
 ISBN: 3540199640
 Publisher: Springer Verlag
 Pub. Date: January, 1996
 List Price: $74.95
 Amazon.com Price: $74.95
 | 
| 4. 
  |  | Title: Interactive Systems: Design, Specification, and Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000: Revised Papers (Lecture Notes in Computer Science, 1946) by Dsv-Is 2000, Philippe Palanque, Fabio Paterno
 ISBN: 3540416633
 Publisher: Springer Verlag
 Pub. Date: March, 2001
 List Price: $59.95
 Amazon.com Price: $59.95
 | 
| 5. 
  |  | Title: Design, Specification & Verification of Interactive Systems '95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7-9, 1995 by Francois-Regis Bastide, Philippe Palanque
 ISBN: 3211827390
 Publisher: Springer-Verlag Telos
 Pub. Date: October, 1995
 List Price: $95.00
 Amazon.com Price: $95.00
 |