Lecture Notes in Computer Science 2967 Generic Model Management Concepts and Algorithms
2004 年出版238 页ISBN:3540219803
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
Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
Lecture Notes in Computer Science 2920 Wireless Sensor Networks First European Worksop
EWSN 20042004 年出版365 页ISBN:3540208259
Lecture Notes in Computer Science 3083 Component Deployment Second International Working Conference
CD 20042004 年出版247 页ISBN:3540220593
Lecture Notes in Computer Science 3517 Human Interactive Proofs Second International Workshop
HIP 20052005 年出版141 页ISBN:3540260013
Lecture Notes in Computer Science 3562 Artificial Intelligence and Knowledge Engineering Application
IWINAC 20052005 年出版636 页ISBN:3540263195