LECTURE NOTES IN MATHEMATICS 914: THE WITT GROUP OF DEGREE K MAPS AND ASYMMETRIC INNER PRODUCT SPACE
1982 年出版273 页ISBN：3540112014;0387112014
LECTURE NOTES IN MATHEMATICS 1274: EQUIVARIANT K-THEORY AND FREENESS OF GROUP ACTIONS ON C*-ALGEBRAS
1987 年出版374 页ISBN：3540182772;0387182772
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
MAPPING OF PARENT HAMILTONIANS:FROM ABELIAN AND NON-ABELIAN QUANTUM HALL STATES TO EXACT MODELS OF C
MARTIN2011 年出版194 页ISBN：3642243837
储层模拟中露头和现代沉积类比的综合研究 Integration of outcrop and modern analogs in reservoir modeling eng
G. Michael Grammer，Paul M. Mitch Harris，Gregor P. Eberli编；蔡希源等译2008 年出版367 页ISBN：9787116055643
本书共18章，分别对建立储层模型过程的各个阶段进行了阐述。
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
NETWORK ECONOMICS AND THE ALLOCATION OF SAVINGS:A MODEL OF PEERING IN THE VOICE-OVER-IP TELECOMMUNIC
PHILIPP SERVATIUS2012 年出版297 页ISBN：9783642210952
