Lecture Notes in Computer Science 3423 Recent Trends in Algebraic Development Techniques 17th Intern
WADT 20042005 年出版271 页ISBN：3540253270
Lecture Notes in Computer Science 3006 Selected Areas in Cryptography 10th Annual International Work
SAC 20032004 年出版361 页ISBN：3540213708
Lecture Notes in Computer Science 1758 Seleted Areas in Cryptography 6th Annual International Worksh
SAC992000 年出版241 页ISBN：3540671854
Lecture Notes in Computer Science 3718 Computer Algebra in Scientific Computing 8th International Wo
CASC 20052005 年出版502 页ISBN：3540289666
Lecture Notes in Computer Science 4409 Recent Trends in Algebraic Development Techniques 18th Intern
WADT 20062007 年出版171 页ISBN：9783540719977
Lecture Notes in Computer Science 2259 Selected Areas in Cryptography 8th Annual International Works
SAC 20012001 年出版359 页ISBN：3540430660
Lecture Notes in Computer Science 4770 Computer Algebra in Scientific Computing 10th International W
CASC 20072007 年出版460 页ISBN：9783540751861
Lecture Notes in Artificial Intelligence 3065 Deontic Logic in Computer Science 7th International Wo
DEON 20042004 年出版275 页ISBN：3540221115
Lecture Notes in Computer Science 4503 Statistical Network Analysis:Models
Issues2007 年出版196 页ISBN：
Lecture Notes in Computer Science 3236 Applying Formal Methods:Testing
Performance2222 年出版0 页ISBN：
