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 4499 Transactions on Data Hiding and Multimedia Security II
2006 年出版117 页ISBN：9783540730910
Lecture Notes in Computer Science 2965 Performance Tools and Applications to Networked Systems Revis
2004 年出版384 页ISBN：3540219455
Lecture Notes in Control and Information Sciences 242 Nonlinear Control Systems An Algebraic Setting
1999 年出版166 页ISBN：1852331518
Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio
2006 年出版255 页ISBN：9783540496991
Lecture Notes in Computer Science 3379 From Integrated Publication and Information Systems to Virtua
2005 年出版320 页ISBN：3540245510
Lecture Notes in Computer Science 4300 Transactions on Data Hiding and Multimedia Security I
2006 年出版137 页ISBN：9783540490715
