Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN：3540209271
Automated Deduction in Geometry 6th International Workshop
ADG 20062007 年出版213 页ISBN：9783540773559
Lecture Notes in Computer Science 3958 Public Key Cryptography-PKC 2006 9th International Conference
2006 年出版543 页ISBN：3540338519
Lecture Notes in Computer Science 4296 Information Security and Cryptology-ICISC 2006 9th Internatio
2006 年出版358 页ISBN：9783540491125
Automated Deduction in Geometry 5th International Workshop
ADG 20042006 年出版216 页ISBN：354031332X
IEEE INTELLIGENT NETWORK WORKSHOP IN'97 PROCEEDINGS Volume 4
1997 年出版172 页ISBN：0780341295
Algorithmic Methods for Railway Optimization International Dagstuhl Workshop
2007 年出版322 页ISBN：9783540742456
PERSPECTIVES IN LATTICE QCD:Proceedings of the Workshop
2008 年出版312 页ISBN：9789812700001
