-
世界推理名作全集. 6
—EDITED BY 河野一郎，中村能三
索书号：I11/SJTL/6
出版信息：中央公论社; c1960 东京;
-
世界推理名作全集. 5
—EDITED BY 太久保康雄，三好格
索书号：I11/SJTL/5
出版信息：中央公论社; c1960 东京;
-
世界推理名作全集. 9
—EDITED BY 宇野利泰，太久保康雄
索书号：I11/SJTL/9
出版信息：中央公论社; c1960 东京;
-
面向计算机科学的数理逻辑系统建模与推理
—(德)迈克尔·休斯(MICHAEL HUTH)，(英)马克·莱恩(MAR
索书号：O141/00110
标准编码：978-7-111-77068-8
出版信息：机械工业出版社 2025.02 北京
-
ADVANCE ARCHITECTURE. 1
—EDITED BY PYO MI YOUNG.
索书号：TU206/YPM/1
标准编码：978-8-991111-42-4
出版信息：DAMDI PUBLISHING CO., 2010. Korea:
-
ADVANCE ARCHITECTURE. 2
—EDITED BY PYO MI YOUNG.
索书号：TU206/YPM/2
标准编码：978-8-991111-42-4
出版信息：DAMDI PUBLISHING CO., 2010. Korea:
-
ADVANCE ARCHITECTURE. 3
—EDITED BY PYO MI YOUNG.
索书号：TU206/YPM/3
标准编码：978-8-991111-42-4
出版信息：DAMDI PUBLISHING CO., 2010. Korea:
-
ADVANCE ARCHITECTURE. 4
—EDITED BY PYO MI YOUNG.
索书号：TU206/YPM/4
标准编码：978-8-991111-42-4
出版信息：DAMDI PUBLISHING CO., 2010. Korea:
-
ADVANCE ARCHITECTURE. 5
—EDITED BY PYO MI YOUNG.
索书号：TU206/YPM/5
标准编码：978-8-991111-42-4
出版信息：DAMDI PUBLISHING CO., 2010. Korea:
-
BIOCHEMISTRY.
—AMERICAN CHEMICAL SOCIETY
索书号：Q7/W0008
标准编码：582B0001-1
出版信息：