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