Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
Lecture Notes in Computer Science 3425 Engineering Human Computer Interaction and Interactive System
2005 年出版400 页ISBN：3540260978
Lecture Notes in Computer Science 4505 Advances in Data and Web Management
2007 年出版896 页ISBN：9783540724834
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 2324 Computer Performance Evaluation Modelling Techniques and Tool
TOOLS 20022002 年出版349 页ISBN：3540435395
Lecture Notes in Computer Science 3280 Computer and Information Science-ISCIS 2004 19th Internationa
2004 年出版1009 页ISBN：3540235264
Lecture Notes in Computer Science 4486 Formal Methods for Performance Evaluation 7th International S
Communication and Software Systems2007 年出版470 页ISBN：
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on Formal
2006 年出版620 页ISBN：3540372156
Lecture Notes in Computer Science 4537 Advances in Web and Network Technologies
and Information Management APWeb/WAIM 2007 International Workshops:DBMAN 20072007 年出版0 页ISBN：
