Lecture Notes in Computer Science 3921 Foundations of Software Science and Computation Structures 9t
FOSSACS 20062006 年出版447 页ISBN：3540330453
Lecture Notes in Computer Science 2303 Foundations of Software Science and Computation Structures 5t
FOSSACS 20022002 年出版433 页ISBN：354043366X
CONFERENCE RECORD OF 1970 ELEVENTH ANNUAL SYMPOSIUM ON SWITCHING AND AUTOMATA THEORY
THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS1970 年出版239 页ISBN：
PROCEEDINGE OF THE FOURTEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS
BALTIMORE，MD2222 年出版874 页ISBN：0898715385
LECTURE NOTES IN COMPUTER SCIENCE 4 5TH CONFERENCE ON OPTIMIZATION TECHNIQUES PART ll
R.CONTI AND A.RUBERTI1973 年出版389 页ISBN：
PROCEEDINGS OF THE 13th INTERNATIONAL SYMPOSIUM ON STRUCTURAL ENGINEERING
VOLUME 12014 年出版1222 页ISBN：7030420329
