当前位置：首页 > 名称
大约有729,787项符合查询结果项。（搜索耗时：0.8023秒）
为您推荐： 论 数学原理 及相关系统的形式上不可判定命题 论数学原理及相关系统的形式上不可判定命题 title论人类自由的本质及相关对象 数字系统原理及应用 中国现代文学史上的民族形式论争 gj 5型轨检车检测系统原理及应用
-
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
全国高等教育自学考试同步辅导·同步训练 相关专业公共课 基础会计学 含历年全国统一命题考试试题及参考答案 第2版
王俊生主编2004 年出版239 页ISBN：7805935793 -
-
8051片上可编程系统原理及应用
何宾编著2012 年出版300 页ISBN：9787122126757本书主要介绍了PSoC设计导论、PSoC3 CPU子系统、PSoC3 CPU指令系统、PSoC3公共资源、PSoC编程和调试接口功能、基于PSoC Creator的程序设计、定时器、计数器和PWM模块、LCD显示驱动模块、I2C总线模块、CAN...
-
《安全生产法及相关法律知识》命题点全面解读 2013年版
建筑考试培训研究中心组织编写2013 年出版274 页ISBN：9787113162405本书为丛书2013全国注册安全工程师执业资格考试辅导用书中的安全生产法及相关法律知识部分。本书内容根据最新考纲编写的以备考试，共分四个部，一是命题规律解读，本辅导用书编委会通过对注册安全工程师执业资格...
-
-
当代云南社会科学百人百部优秀学术著作丛书 论经济理论科学性的判定条件
雷晓明著2012 年出版189 页ISBN：9787548208150本书主要论述及建立了一套经济理论科学性的判定条件，以使经济理论具有与自然科学理论一样的检验标准，有一定的独创性。
-
2015华中建筑考试 全国一级建造师执业资格考试命题预测与真题全析 建设工程法规及相关知识
一级建造师执业资格考试命题研究中心编2015 年出版204 页ISBN：9787568007207本书主要内容有：建设工程法律体系，建设工程法人制度，建设工程代理制度，建设工程物权制度，建设工程债权制度，建设工程知识产权制度，建设工程担保制度，建设工程保险制度，建设工程法律责任制度等。对一级建造师......
学科分类
出版时间