张成孝主编；薛封和，张志琪副主编；张成孝，薛封和，张志琪，陈兰化，朱东涛，江瑜，张小玲，温普红编1992 年出版256 页ISBN：7561306687
GlynnWinskel著；宋国新，邵志清，潘俊，孙霖等译2004 年出版283 页ISBN：7111131533
本书是计算机专业本科生研究生形式语义学教材。
罗志清主编；龚欣繁，米鸿燕，曾洪云等编委2010 年出版310 页ISBN：9787548200413
本书为高等工科院校“测量学”课程的配套教材，分为9篇，内容涉及坐标系统、仪器操作、误差理论基本知识、小范围控制测量、大比例尺地形测量、地图制图基本知识、地形图基本知识、测量学的应用、测绘新技术简...
