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