Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN:3540249362
Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN:3540221522
Lecture Notes in Computer Science 4329 Progress in Cryptology-INDOCRYPT 2006 7th International Confe
2006 年出版454 页ISBN:9783540497677
Lecture Notes in Computer Science 3348 Progress in Cryptology-INDOCRYPT 2004 5th Internaitonal Confe
2004 年出版431 页ISBN:3540241302
Lecture Notes in Computer Science 3797 Progress in Cryptology-INDOCRYPT 2005 6th International Confe
2005 年出版417 页ISBN:3540308059
Lecture Notes in Computer Science 4364 Models in Software Engineering Workshops and Symposia at MoDE
2007 年出版332 页ISBN:9783540694885