国家哲学社会科学成果文库 2015中国海洋经济周期波动监测预警研究
殷克东著2016 年出版510 页ISBN：7010160112
海洋经济周期波动监测预警，是海洋经济运行的晴雨表和警报器。它是通过对海洋经济统计数据的科学、系统与规范整理，运用经济景气监测预警技术，结合投入产出、系统仿真、计量经济学等模型方法，对海洋经济活动过程...
杨萃南，杨碧石主编2003 年出版247 页ISBN：750538564X
本书共9章，内容包括：数字电路基础、逻辑代数、逻辑门电路、组合逻辑电路、触发器、时序逻辑电路、脉冲信号的产生与变换，并介绍了A/D和D/A转换及大规模集成电路ROM、RAM、PLD等的一般性知识。本书叙述简明扼要...
王国俊著2006 年出版258 页ISBN：7030165837
本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...
（美）约翰·科马洛夫，（英）西蒙·罗伯茨著；沈伟，费梦恬译2016 年出版325 页ISBN：9787313141521
本书以超越西方的法律逻辑为出发点，对非洲博茨瓦纳部落的法律争议进行研究，且提出了全新的理解框架，即在冲突的语境中以分立的方式进行理解“法律”，由茨瓦纳政治语言所激发的、我们对演说和习得与决定之循环过...
罗长杰，韩绍程主编2017 年出版295 页ISBN：9787566114211
本书分上下两篇，上篇为小规模电路部分；下篇为采用Quartus II的原理图设计方式设计数字逻辑系统。之所以没有引入目前最为流行的硬件描述语言来设计，是为了使学生在最短的时间内用已有的数字电子技术知识初步掌...
邹海林，柳婵娟，潘辉，周树森，周红志愿军等编著2014 年出版392 页ISBN：9787030418807
本书以计算机学科历史渊源、发展过程、学科知识体系来组织内容，包括计算机发展史、计算机科学基本理论的形成与发展、程序设计语言原理与发展、数据库技术原理与发展、计算机网络技术及其发展、数据存储技术...
王娜，蔡良伟，梁松海编著2015 年出版184 页ISBN：9787560636528
本书是蔡良伟主编《数字电路与逻辑设计(第三版)》的配套学习指导与习题解答。内容包括教材各章的内容提要、重点难点、典型例题及习题解答，对数字电子技术主要内容进行了全面、扼要的分析和总结，目的在于帮助...
李智勇，丁静编著2013 年出版168 页ISBN：9787111426264
这本书剖析了软件开发中主要环节（管理、流程、估算、开发模型、估算、需求开发和设计编码）的运作规律。在剖析过程中，主要使用演绎法进行推导，同时使用现实中累积的经验对推导出来的结论进行验证。在这一过程中...
