原萍编著(上海工程技术大学城市轨道交通大学)2007 年出版277 页ISBN:9787811021790
本书介绍卫星通信的基本概念、分类及通信系统的组成,通信机制并结合卫星通信系统原理和技术。
陈希孺著2007 年出版715 页ISBN:9787030060471
本书是以青年科研工作者作为主要对象而编写的。本书主要内容有:点估计,假设检验,线性模型和非参数统计等。书末附有习题。
陈桂生著2019 年出版270 页ISBN:9787567580114
如何看待泰勒关于课程编制的思考?课程演变的轨迹为何?对教师备课、提问、听课、公开课的思考有哪些?“教程本位”教学法的命运是什么……本书作为“课程”专题文集,对课堂教学、当前课程改革、早期教育、教育观...
周灵编著2010 年出版362 页ISBN:9787121109928
本书结合高校数学课程教学和工程科学计算应用的需要,从实用角度出发,通过大量的算法实现和典型应用实例,详尽系统地讲述MATLAB在线性方程组求解、矩阵特征值计算、求导与微分计算、积分计算、非线性方程求解、...
汪远征主编2011 年出版236 页ISBN:9787300137711
在现代科学和工程技术中,经常会遇到大量复杂的科学计算问题,这些问题用一般的计算工具来解决非常困难,而用计算机来处理却非常容易。Excel是一个被广泛使用的电子表格应用程序。几乎每个理工科专业的学生在大...
熊春光,李育安主编2011 年出版239 页ISBN:9787564043575
本书介绍了科学与工程计算中最常用和最基本的数值计算方法。本书内容充实,重点突出,强调方法的构造与应用;推导过程既重视理论分析,又避免过多的理论证明;对每种方法都在计算机上编程实现,并给出真解、数值解和.....
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...