软件工程形式化方法与语言 【工业技术】

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

择案而审 美国最高法院案件受理议程表的形式 【政治法律】

本书是讲述关于美国联邦最高法院的管辖权与诉讼程序、内部程序、特殊情形、标志与信号、讨价还价、协商与通融、策略、调卷价值、决策模型等问题的图书。...

2007年上海大学博士学位论文 48 分数阶微分方程的理论分析与数值计算 【文化科学教育体育】

适时营养干预弥合健康差距：多种形式营养干预 保障儿童少年健康 【医药卫生】

本书是中国学生营养与健康促进会一年一度发布的中国儿童少年营养与健康报告，此为2010年度，年度的主题即为：适时营养干预，弥合健康差距。...

否定形式的格式制约 【语言文字】

肯定否定是语义相悖的一对范畴，它们必然会对各类句子施加各自的影响。本书以否定为观察问题的视角和切入点，从三个方面展开，一是研究专有的否定结构或是否定优先的格式，意在说明否定格式的句式义对句子内部各组...

微分器设计与应用 信号滤波与求导 【工业技术】

本书系统地论述了微分器的理论、滤波与求导、设计方法和工程应用，是作者多年来从事微分器理论研究与工程实际应用成果的总结。书中有大量仿真程序及相关MATLAB仿真程序。全书共分8章，包括有限时间收敛微分器...

偏微分方程数值解法 第2版 【数理化】

本书根据教育部专业目录调整后的要求及计算数学的发展，在笔者修订版《微分方程数值解法》的基础上编写而成。全书包括六章，第一、二章是变分形式和Calerkin有限元法，第三章和第五、六章是有限元体积法，第四章是...

斗地主形式判断与信号 【文化科学教育体育】

“斗地主”是货真价实的国粹，它的牌型结构丰富，组合方式多样，可以机动调配，所以其面世虽晚，但是风行的速度极快，各大游戏网站中，斗地主的人数远远超过其他牌类游戏，不少人把它誉为“中国式桥牌”。本书根据概......

自然语言形式理论研究 【语言文字】

本书对自然语言形式理论做了较为系统的论述，其特点表现在：第一，本书首次采用句法学、语义学和语法学三分法对自然语言进行研究；第二，进一步阐明了自然语言和形式语言的联系和区别，并提出诸多新见；第三，采用形......

随机微分方程及其在汇流计算中的应用 【工业技术】

本书借助于随机微分方程理论和随机系统的概念，对汇流过程中的各种不确定性因素进行了分析，并以Nash模型为基础，针对具有随机输入项、随机参数项和两者结合情况下对汇流过程进行数学描述和分析，建立了随机汇流模...