高等学校教材 电子信息 信号与线性系统 【其他书籍】

对称与复杂：非线性科学的魂与美 【自然科学】

数字城市的理论与实践 第三届中国国际数字城市建设技术研讨会论文集 【工业技术】

本书为2007年中国国际数字城市建设技术研讨会大会论文集。全书围绕着中国数字城市的技术开发与管理、发展与规划进行了深入的探讨和论证，展示了我国数字城市建设理论的最高水平与成就。...

中学几何研究与教学 【文化科学教育体育】

进程代数 对称与动作细化 【工业技术】

本书针对进程代数语言提出了对称性的概念，并给出了对称约简算法，同时证明了约简后的进程与原进程是交织迹和交织互模拟等价的，最后提供了两个有意义的实例来说明对称性的定义以及验证约简算法的正确性。...

新题型大学英语四级考试模拟试题与解析 附最新考试真题与样题及解析 【语言文字】

本书包括12陶模拟试题和2006年6月的考试真题，讲述新题型的大学英语四级考试。

中国工程院第三次地下工程与基础设施公共安全学术研讨会论文集 【工业技术】

本书是中国工程院土木、水利与建筑工程学部第三次地下工程与基础设施公共安全学术交流会论文集。包括地下结构与基础设施安全事故演化机理、工程安全一地质灾害防治、工程安全检查检测监控理论与技术、工程...

机械设计习题与解析 【工业技术】

本书是《机械设计》（第7版）的配套辅导用书。

3S技术与数字交通 第三届全国交通工程测量学术研讨会论文集 【交通运输】

本书主要讲述了3S技术（GPS、GIS、RS）所代表的现代空间信息技术在交通工程中的应用。由于交通工程测量的高新技术与科技含量越来越高，本文集内容丰富广泛、理论联系实际、具有较高的学术和实用价值。适合测绘、...

几何与数理逻辑 【数理化】

本书介绍汤璪真先生所著几何与数理逻辑的内容。