logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods In Human Computer Interaction (Formal Approaches To Computing And Information Technology) - Philippe Palanque
Formal Methods In Human Computer Interaction (Formal Approaches To Computing And Information Technology)
by: (author)
Format: paperback
ISBN: 9783540761587 (3540761586)
Publisher: Springer
Edition language: English
Bookstores:
Books by Philippe Palanque
Design, Specification And Verification Of Interactive Systems '95: Proceedings Of The Eurographics Workshop In Toulouse, France June 7 9, 1995 - Philippe Palanque
Interactive Systems: Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings - T.C. Nicholas Graham, Philippe Palanque
Human-Computer Interaction - INTERACT 2009: 12th IFIP TC 13 International Conference Uppsala, Sweden, August 24-28, 2009 Proceedings, Part II - Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Winckler
Engineering Human Computer Interaction and Interactive Systems: Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised ... / Programming and Software Engineering) - Rxe9mi Bastide, Philippe Palanque, Jxf6rg Roth
Formal Methods In Human Computer Interaction (Formal Approaches To Computing And Information Technology) - Philippe Palanque
Human-Computer Interaction: INTERACT 2007 - Philippe Palanque
Human Computer Interaction Interact 2009: 12th Ifip Tc 13 International Conference, Uppsala, Sweden, August 24 28, 2009, Proceedigns Part I (Lecture ... Applications, Incl. Internet/Web, And Hci) - Tom Gross, Jan Gulliksen, Paula Kotzé, Philippe Palanque, Lars Oestreicher, Raquel Oliveira Prates, Marco Winckler
Human-Computer Interaction - INTERACT 2011, Part 2: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II - Pedro Campos, Nicholas Graham, Joaquim Jorge, Nuno Nunes, Philippe Palanque, Marco Winckler
Interactive Systems. Design, Specification, and Verification: 7th International Workshop, Dsv-Is 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers - Philippe Palanque
Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers - Jan Gulliksen, Philippe Palanque, Janet Wesson, Morten Borup Harning, Gerrit C. van der Veer
Share this Book
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.