张清宇，（加）田伟利，沈旭主编2005 年出版214 页ISBN：7502566694
本书介绍了环境信息系统的基本知识、环境信息系统工程的开发、现代信息技术在环境研究和管理中的应用。
张清宇，郭世铭，李小五著2007 年出版435 页ISBN：7802303990
本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值，在理论或实践上有重要意义，对推动学科建设与发展有重要作用。...
张清宇，欧晓理，孟东军著2017 年出版275 页ISBN：9787308173032
本书在对“一带一路”沿线地区的生态环境现状、环境法律法规和标准、生态环境合作基础进行全面梳理总结基础上，综合国际生态环境合作经典案例的经验和教训，探索出适合“一带一路”沿线地区的生态环境合作的机...
张清宇主编2010 年出版128 页ISBN：9787500485438
本书为中国社会科学院研究生重点教材之一种，本书叙述了数理逻辑的基本内容，如经典一阶逻辑的句法、语义、逻辑、演算以及刻画句法和语义之间关系的完全性定理；模型论内容；集合论知识；哥德尔第二不完全定理及其所...
张清宇编2005 年出版214 页ISBN：7561218982
本书为高职高专计算机教材之一。书中介绍中文Auto CAD 2005的基础知识、二维图形的绘制与编辑、尺寸和文字标注、块与外部参照、三维绘画、图形输出与Internet功能。书中配有大量生动典型的实例以及训练题...
张清宇，童章舜，田伟利等著2016 年出版357 页ISBN：9787308159944
本书在总结我国生态文明建设的基础上，分析西部地区生态文明示范工程的有利条件和制约因素，建立衡量生态文明基本标志的指标体系，确定生态文明建设的重点任务，并结合案例和情景分析，选择符合生态文明的发展方式和...
