LICHENS TO BIOMONITOR THE ENVIRONMENT
VERTIKA SHUKLA·D.K.UPRETI，RAJESH BAJPAI2014 年出版185 页ISBN：9788132215028
DL/T 5240-2010 火力发电厂燃烧系统设计计算技术规范 Technical code for design and calculation of combustion system o
国家能源局发布2013 年出版248 页ISBN：7512345072
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
The design and implementation of the FreeBSD operating system (2nd Edition) = FreeBSD 操作系统设计与实现 (第2版
Marshall Kirk McKusick ; George V. Neville-Neil ; Robert N. M. Watson2016 年出版846 页ISBN：7115413499
modeling and analysis of real-time and embedded systems with uml and marte developing cyber-physi
bran selic2014 年出版287 页ISBN：0124166199
