熱門搜尋
您輸入的關鍵字: Palanque
搜尋結果共 20 筆, 頁數 1 / 1
呈現:
The four-volume set LNCS 6946-6949 constitutes the refereed proceedings of the 13th IFIP TC13 Intern... more
This book constitutes the refereed proceedings of the 8th International Workshop on Task Models and ... more
th HESSD 2009 was the 7 IFIP WG 13.5 Working Conference in the series on Human Error, Safety and Sys... more
INTERACT 2009 was the 12th of a series of INTERACT international c- ferences supported by the IFIP T... more
Engineering Interactive Systems 2007 is an IFIP working conference that brings together researchers ... more
The modern world has made available a wealth of new possibilities for interacting with computers, th... more
This book is part of a two-volume work that constitutes the refereed proceedings of the 11th IFIP TC... more
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, alt... more
Recent accidents in a range of industries have increased concern over the design, development, manag... more
This volume contains papers presented at HCI 2003, held in September in Bath, UK, covering all the m... more
Formal methods have already been shown to improve the development process and quality assurance in s... more
Looking at both English Medium Instruction (EMI) and multimodality in higher education, this edited ... more
This book provides a comprehensive collection of methods and approaches for using formal methods wit... more