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: