Lecture Notes in Computer science 3566 Unconventional Programming Paradigms International Workshop U
2005 年出版367 页ISBN:3540278842
Lecture Notes in Computer Science 469 Semantics of Systems of Concurrent Processes
1990 年出版456 页ISBN:3540534792
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN:3540291318
Lecture Notes in Computer Science 4559 Usability and Internationalization HCI and Culture
2007 年出版661 页ISBN:9783540732860