Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium
USAB 20072007 年出版458 页ISBN：9783540768043
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
Lecture Notes in Computer Science 4530 Model Driven Architecture-Foundations and Applications Third
ECMDA-FA 20072007 年出版219 页ISBN：9783540729006
Lecture Notes in Computer Science 3748 Model Driven Architecture-Foundations and Applications First
ECMDA-FA 20052005 年出版349 页ISBN：3540300260
Lecture Notes in Computer Science 4066 Model Driven Architecture-Foundations and Applications Second
ECMDA-FA 20062006 年出版392 页ISBN：3540359095
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
Lecture Notes in Computer Science 4896 E-Voting and Identity First International Conference
VOTE-ID 20072007 年出版189 页ISBN：9783540774921
Lecture Notes in Computer Science 2981 Organic and Pervasive Computing-ARCS 2004 International Confe
2004 年出版339 页ISBN：3540212388
