Lecture Notes in Computer Science 4749 Service-Oriented Computing ICSOC 2007 Fifth International Con
2007 年出版631 页ISBN：9783540749738
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
Lecture Notes in Computer Science 2981 Organic and Pervasive Computing-ARCS 2004 International Confe
2004 年出版339 页ISBN：3540212388
Lecture Notes in Computer Science 3824 Embedded and Ubiquitous Computing-EUC 2005 International Conf
2005 年出版1204 页ISBN：3540308075
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN：3540255591
Lecture Notes in Computer Science 3242 Parllel Problem Solving from Nature-PPSN VIII 8th Internation
2004 年出版1185 页ISBN：3540230920
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 4193 Parallel Problem Solving from Nature-PPSN IX 9th Internationa
2006 年出版1061 页ISBN：3540389903
Lecture Notes in Computer Science 3288 Conceptual Modeling-ER 2004 23rd International Conference on
2004 年出版869 页ISBN：3540237232
Lecture Notes in Computer Science 4237 Communications and Multimedia Security 10th IFIP TC-6 TC-11 I
CMS 20062006 年出版251 页ISBN：3540478205
