当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.0213秒)
为您推荐: title 1231313123 and select 1231313123 and 3 title 1231313123 and dbms_pipe 1231313123 and 2 1231313123 and'q q 1231313123 and'q r
-
-
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
随机过程理论 第3版 【数理化】
周荫清主编2013 年出版274 页ISBN:9787512410244本书介绍了随机过程的基本理论、分析方法及在实际中应用广泛的几类随机过程。全书共8章,内容包括:随机过程的基本概念,随机过程的现行变换,窄带随机过程,高斯随机过程,泊松过程,马尔可夫链和马尔可夫过程。...
-
-
大众物理学 3 电子 【数理化】
(苏)朗道(Л.Д.Ландау),(苏)基泰戈罗茨基(А.И.Китайгородский)著;杨基方译1983 年出版195 页ISBN:13031·2446 -
调和分析导论 第3版 英文版 【数理化】
(美)卡茨纳尔森(Katznelson,Y.)著2005 年出版314 页ISBN:7111158296本书从经典傅里叶级数的清晰表述入手,展示了调和分析的中心思想。
学科分类