大约有70,000项符合查询结果项。（搜索耗时：0.0558秒）
为您推荐： 归纳逻辑的哲学问题 20世纪科学逻辑数学哲学 师从 学习逻辑学和科学哲学 选修 科学哲学问题研究 问题的哲学研究 大数据思维的相关哲学问题研究
-
VHDL：代码编写和基于SYNOPSYS工具的逻辑综合
Weng Fook Lee著（AMD公司）2007 年出版394 页ISBN：9787302160953本书首先介绍VHDL代码编写，其次介绍利用基于SYNOPSYS工具的逻辑综合应用。
-
仙居飞凤岩大型古地下工程洞室群科学技术问题研究
杨志法，郭改梅，张路青著2012 年出版290 页ISBN：9787030328212本书是一本论述仙居龙王山大型古地下工程（始挖于宋代）科学技术问题的学术专著。该专著的内容涉及到古地下采石场的工程地质条件、洞室群分布及洞室结构特点、围岩变形破坏的调查与规律研究、诸多古代朴素科学...
-
遗传算法与模糊逻辑的融合设计及其应用
张大斌著2010 年出版237 页ISBN：9787535244819本书主要介绍遗传算法和模糊逻辑控制的特点，分析遗传算法和模糊控制融合设计和机理，研究相互嵌入的模型与方法，并对其模型和方法进行数字仿真实验。在此基础上，从演化硬件和经济预测两个应用方向开展融合模型与...
-
-
8080程序设计在逻辑设计中的应用
（美）亚当·奥斯本（Osborne，A.）著；赵辰等译1983 年出版423 页ISBN：15045·总2704有5288（美）亚当·奥斯本（Osborne，A.）著；赵辰等译.8080程序设计在逻辑设计中的应用.北京：人民邮电出版社
-
用Maple和MATLAB解决科学计算问题 第3版
（W.甘德）Walter Gander，赫比克（Jiri Hrebicek）著；刘来福等译1999 年出版330 页ISBN：7040069350“…本书的作者非常出色地将科学计算问题与两个著名的数学软件包—Maple和MATLAB*，联系在一起。主要的原因是：Maple是符号计算领域里能力最强的软件包，而MATLAB*在数值和工程计算领域也是最优秀的软件。通过MA...
-
信息收集-形式背后的逻辑 设计前奏
（美）莱斯·沃里克编著；金雷译2016 年出版147 页ISBN：9787112192274本书是关于前期设计与建筑策划的方法，即对信息进行收集整理，形成指导后期设计的设计任务书，以此作为设计工作的前奏。简单的说，这是一本有关如何制定设计任务的书。书中基于线和空间事务所超过35年的设计实践，通...
-
-
隐形逻辑 香港，亚洲式拥挤文化的典型
张为平著2009 年出版188 页ISBN：9787564116194这是一部关于高密度状态下都市状况的研究文本，以香港为研究对象，不是常见的关于城市的人文式个人情怀吟呕，亦非政府或者规划局对于城市建设的官方总结，而是从建筑学的专业角度，对于以香港为代表的“亚洲式拥挤文...
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...