Handbook of tunnel engineering II basics and additional services for design and construction
Bernhard Maidl ; Markus Thewes ; Ulrich Maidl ; Sturge David ; Sonja Frank2014 年出版428 页ISBN：3433030499
Civil law and the protection of personal roghts in the ussr
Nikolai Malein1985 年出版240 页ISBN：
Civil Law and the Protection of Personal Rights in the USSR
Nikolai Malein1985 年出版240 页ISBN：
MicroStation工程设计应用教程 表现篇 Tutorials for the engineering design and application in MicroStation Visual
汤众，刘烈辉，栾蓉等编著2008 年出版238 页ISBN：9787112098224
本书共分为七章，内容为绪论，MicroStation三维绘图基本知识、三维实体建模与编辑、三维表面建模与编辑、渲染、漫游与动画、接口技术等。
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 353 FOUNDATIONS OF EQUATIONAL LOGIC PROGRAMMING
1989 年出版250 页ISBN：038751533X
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN：3540095268
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN：3540083537
