Lecture Notes in Computer Science 3399 Web Technologies Research and Development-APWeb 2005 7th Asia
2005 年出版1082 页ISBN:354025207X
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 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 4805 On the Move to Meaningful Internet Systems 2007:OTM 2007 Work
2007 年出版757 页ISBN:9783540768876