GLOBAL REAL ESTATE INVESTMENT TRUSTS PEOPLE
PROCESS AND MANAGEMENT2011 年出版302 页ISBN：1405187220
面向计算机科学的数理逻辑 系统建模与推理 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
The 8th International Symposium on Distributed Computing and Applications to Business
Engineering and Science2009 年出版500 页ISBN：
Lecture Notes in Computer Science 268 Constrained Global Optimization:Algorithms and Applications
P.M.Pardalos1987 年出版143 页ISBN：
Proceedings of the 38th International Conference on Computers and Industrial Engineering
夏国平 邓修权主编2008 年出版3082 页ISBN：
Lecture Notes in Computer Science 3211 Image Analysis and Recognition International Conference
ICIAR 2004 Part I2004 年出版880 页ISBN：3540232230
Lecture Notes in Computer Science 3212 Image Analysis and Recognition International Conference
ICIAR 2004 Part II2004 年出版862 页ISBN：3540232400
THE ART OF COMPUTER PROGRAMMING VOLUME 3：SORTING AND SEARCHING （SECOND EDITION）
[美]DONALD E.KNUTH著2008 年出版780 页ISBN：
