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
Lecture Notes in Artificial Inelligence 4441:Speaker Classification II
2007 年出版309 页ISBN:9783540741213
Lecture Notes in Artificial Inelligence 4343:Speaker Classification I
2007 年出版355 页ISBN:9783540741862
Lecture Notes in Computer Science 4238 Management of Convergence Networks and Services 9th Asia-Paci
APNOMS 20062006 年出版605 页ISBN:3540457763
Lecture Notes in Computer Science 4039 Reuse of Off-the-Shelf Components 9th International Conferenc
ICSR 20062006 年出版444 页ISBN:3540346066