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 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
Lecture Notes in Computer Science 4537 Advances in Web and Network Technologies
and Information Management APWeb/WAIM 2007 International Workshops:DBMAN 20072007 年出版0 页ISBN：
Lecture Notes in Computer Science 73 Graph-Grammars and Their Application to Computer Science and Bi
October 30-November 31979 年出版477 页ISBN：
