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 4677 Foundations of Security Analysis and Design IV FOSAD 2006/200
2007 年出版326 页ISBN:9783540748090
Lecture Notes in Computer Science 4321 The Adaptive Web Methods and Strategies of Web Personalizatio
2007 年出版762 页ISBN:9783540720782
Lecture Notes in Computer Science 2946 Foundations of Security Analysis and Design II FOSAD 2001/200
2004 年出版267 页ISBN:3540209557
Lecture Notes in Computer Science 3655 Foundations of Security Analysis and Design III FOSAD 2004/20
2005 年出版273 页ISBN:3540289550
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Lecture Notes in Computer Science 3152 Advances in Cryptology-CRYPTO 2004 24th Annual International
2004 年出版579 页ISBN:3540226680
Lecture Notes in Computer Science 4117 Advances in Cryptology-CRYPTO 2006 26th Annual International
2006 年出版621 页ISBN:3540374329