Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN:3540209271
Automated Deduction in Geometry 6th International Workshop
ADG 20062007 年出版213 页ISBN:9783540773559
Fundamemtals of Computation Theory 16th International Symposium
FCT 20072007 年出版508 页ISBN:9783540742395
THE INTERNATIONAL COUNTERMEASURES HANDBOOK 8TH EDITION 1982-1983
EW COMMUNICATIONS1983 年出版377 页ISBN: