Lecture Notes in Computer Science 4636 Reasoning Web Third International Summer School 2007
2007 年出版343 页ISBN：9783540746133
Lecture Notes in Computer Science 4665 Stochastic Algorithms:Foundations and Applications 4th Intern
SAGA 20072007 年出版167 页ISBN：9783540748700
Lecture Notes in Computer Science 3510 Wired/Wireless Internet Communications Third International Co
WWIC 20052005 年出版366 页ISBN：354025899X
Lecture Notes in Computer Science 3166 Entertainment Computing-ICEC 2004 Third International Confere
2004 年出版620 页ISBN：3540229477
Lecture Notes in Computer Science 3629 Algebra and Coalgebra in Computer Science First International
CALCO 20052005 年出版457 页ISBN：3540286209
Lecture Notes in Computer Science 4494 Algorithms and Architectures for Parallel Processing 7th Inte
ICA3PP 20072007 年出版508 页ISBN：9783540729044
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
