论文部分内容阅读
Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL
【机 构】
：
Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada
【出 处】
：
计算机科学技术学报（英文版）
【发表日期】
：
2013年2期
其他文献
所谓股票市场信息传导功能,是指股市对经济运行态势和发展趋势的反映功能,最普遍的提法为“股市是一个国家宏观经济运行的晴雨表”。股市走势和波动反映了一国政治、经济、社
学位
1994年实施分税制改革以来，我国中央与地方政府之间的财政分配关系得到了规范，国家财政收入和中央财政收入占GDP比重不断攀升，中央政府财力明显增强。已经有大量的文献对分税制
学位
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
Characterization and Evaluation of OsLCT1 and OsNramp5 Mutants Generated Through CRISPR/Cas9-Mediate
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥