内容提要GPS卫星定位技术在国民经济和国防现代化建设中正发挥着重要的作用。本书作者结合科研和生产实践，对GPS技术从理论角度作了详尽的阐述，主要内容有：概论、卫星大地测量基础、GPS系统的信号和接收机的基本工作原理、GPS定位的基本观测量及误差分析、GPS定位的基本原理和方法、GP控制网的建立、GPS控制网的平差计算和GPS精密定位定轨概述等；还介绍了同济大学研制的TGPPS（4.0）软件系统，供使用者参考。本书可作高等院校有关专业的教材，也可供在测绘、交通、城建、国土管理、水电、地质、采矿等部门从事GPS工作的科技工作者参考.

本书由管理操作篇、案例精析篇和政策法规篇所组成.

暂缺简介...

暂缺简介...

《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。

内容简介本书包括信息技术、材料技术、能源技术、生物技术、自动化技术、航空航天海洋技术、激光技术等高技术。特点是全、新、浅，不仅所有门类的高技术都包括在内，各个门类的重点内容也囊括无遗。且取材新颖，除介绍当前热点外，还介绍有前途的前沿问题。叙述上深入浅出、形象生动，具有中等文化程度便可读懂。是一般读者快速了解高技术全貌的通俗读物，也是各行各业的研究人员了解相邻领域最新成就及前景的参考书。

《自然辩证法简编》是由北京地区八所理工农医类大学的11位作者合作编撰的，供硕士研究生学习的自然辩证法（科学技术哲学）教材。全书除导言外，共分十章：自然界的存在方式，自然物质系统的演化发展，科学技术认识活动的起点，科学思维，横断方法，假说与理论，科学理论向现实生产力转化，科学技术系统，科学技术与社会的互动，以及科技、经济、社会与自然的协调发展等。《自然辩证法简编》也可供广大教师、大学生、各类研究生、科技工作者、哲学社会科学工作者、管理干部和其他有兴趣的读者阅读参考。

内容：1. 计算方法; 2. 计算实习与Fortran程序

暂缺简介...

本书是17位战斗在科学技术前沿的专家近两年来给清华大学博士生讲课的内容.