大约有20,000项符合查询结果项。（搜索耗时：0.0193秒）
为您推荐： 论 数学原理 及相关系统的形式上不可判定命题 title论人类自由的本质及相关对象 数字系统原理及应用 中国现代文学史上的民族形式论争 gj 5型轨检车检测系统原理及应用 嵌入式实时操作系统μc os-ii原理及应用
-
数学命题的特征教学论
郑庆全著2017 年出版295 页ISBN：9787560758237本书阐述了数学命题的内涵、结构和分类，从多角度对数学命题进行了透析，提出了数学命题的四个特征：语义性特征、真理性特征、应用性特征和关联性特征；在基于特征的数学命题学习过程解析和学习本质解析的基础上，提...
-
计算系统的形式语义 上
陆汝钤著2017 年出版926 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
-
中国现代文学论争与文化政治 “民族形式”文艺争论及相关问题
毕海著2017 年出版366 页ISBN：9787520309592中国现代文学史上的“民族形式”文艺论争，既是一次著名的“文学理论”问题之争，更是一场影响20世纪中国社会发展的文化运动。文学“民族形式”问题的提出及其相关的文艺论争显示了中国现代文学批评的芜杂性和...
-
瓷器上的中国文人书画 陶趣斋藏浅绛彩瓷及相关彩瓷鉴赏
程浩著2017 年出版329 页ISBN：9787536261082本书是一部融浅绛彩瓷实物及其瓷器上的中国文人书画展示与浅绛彩瓷收藏实践总结及其学术研究于一体的普及文物和书画收藏知识的读物。全书主要由序、概述、图录、膺品辨析及记者釆访组成。较为系統地介绍了...
-
基于ARM的嵌入式系统原理及应用
刘彦文编著2017 年出版489 页ISBN：9787302453611本书以S3C2440A/S3C2410A/S3C44B0X三款微处理器为例，系统全面地介绍了微处理器组成及程序员模型；ARM指令系统、汇编语言特性及编程基础；主存储器及Nand Flash存储器组成；芯片内部各控制器、接口、外设的组成和...
-
计算系统的形式语义 下
陆汝钤著2017 年出版1856 页ISBN：9787302414940系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
-
-
-
缠论结构学 趋势判定与买卖点逻辑
吴超著2017 年出版197 页ISBN：9787113237608本书分为三个部分：（1）缠论趋势寻找买卖点。趋势一直在缠论的核心，因为有趋势才会出现价格波动，甚至反转，因此趋势始终是缠论最为关注的一个焦点；（2）中枢震荡寻找买卖点。中枢震荡也就是震荡整理，同样是缠论......
-
