Lecture Notes in Computer Science 2360 Application and Theory of Petri Nets 2002 23rd International
ICATPN 20022002 年出版444 页ISBN：3540437878
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 4267 Autonomic Management of Mobile Multimedia Services 9th IFIP/I
MMNS 20062006 年出版257 页ISBN：3540476547
Lecture Notes in Computer Science 4785 Managing Virtualization of Networks and Services 18th IFIP/IE
DSOM 20072007 年出版269 页ISBN：9783540756934
Lecture Notes in Computer Science 4187 Principles and Practice of Semantic Web Reasoning 4th Interna
PPSWR 20062006 年出版275 页ISBN：3540395865
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
Lecture Notes in Computer Science 3706 Principles and Practice of Constraint Programming-CP 2005 11t
CP 20052005 年出版887 页ISBN：3540292381
Lecture Notes in Computer Science 4269 Large Scale Management of Distributed Systems 17th IFIP/IEEE
DSOM 20062006 年出版282 页ISBN：3540476598
Lecture Notes in Computer Science 4204 Principles and Practice of Constraint Programming-CP 2006 12t
CP 20062006 年出版774 页ISBN：3540462678
Lecture Notes in Computer Science 3271 Management of Multimedia Networks and Services 7th IFIP/IEEE
MMNS 20042004 年出版335 页ISBN：3540232397
