Lecture Notes in Computer Science 4748 Formal Methds and Stochastic Models for Percformance Evaluati
EPEW 20072007 年出版300 页ISBN：9783540752103
Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3670 Formal Techniques for Comprter Systems and Busoness Processes
EPEW 20052005 年出版349 页ISBN：3540287019
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3645 Advances in Intelligent Computing International Conference on
ICIC 2005 Part II2005 年出版1013 页ISBN：3540282270
Lecture Notes in Computer Science 3644 Advances in Intelligent Computing International Conference on
ICIC 2005 Part I2005 年出版1101 页ISBN：3540282262
Lecture Notes in Computer Science 4841 Advances in Visual Computing Third International Symposium
ISVC 2007 Part I2007 年出版831 页ISBN：9783540768579
Lecture Notes in Computer Science 4291 Advances in Visual Computing Second International Symposium
ISVC 2006 Part I2006 年出版916 页ISBN：9783540486282
Lecture Notes in Computer Science 4292 Advances in Visual Computing Second International Symposium
ISVC 2006 Part II2006 年出版906 页ISBN：9783540486288
