周建武主编2008 年出版270 页ISBN：7302175365
本书是根据最新硕士学位研究生入学资格考试考试大纲的要求，配合2008版《逻辑考前辅导教程》，结合命题趋势，在2007版的基础上，重新进行全面修订而成的。...
高晶敏，柴海莉，张金龙编2009 年出版273 页ISBN：9787030254566
本书内容是作者近几年的主要教学成果和研究成果。本书是依据教育部电子信息科学与电气信息类基础课程教学基本要求编写的。由于该课程是数字技术的入门课程，是专业技术基础课程，所以在编写时遵循这样的基本原...
（苏）马·莫·罗森塔尔（М.М.Розенталь）主编；汤侠声译1986 年出版538 页ISBN：2001·201
（俄）尼古拉·别尔嘉耶夫（Николай A. Бердяев）著；张百春译2007 年出版442 页ISBN：7208071357
本书收入《论人的使命：悖论伦理学体验》与《人与神的生存辩证法》两书，前者是别尔嘉耶夫伦理学专著，是其伦理思想的集中表达。后者从神与人的关系角度，探讨了别尔嘉耶夫一生都在关注的宗教问题，人的个性问题、伦...
韩国三省出版社著；宫亚琪译2013 年出版80 页ISBN：9787530463574
本书从第一单元开始，让孩子自己解答问题，每个问题大约给5分钟左右的时间，然后看书后的答案，把答错的问题标记到目录上的“核对”一栏上。最后再让孩子重新做一遍。用小测验检测孩子的数学水平，每个单元后都有综....
（印）卡马拉，（印）拉玛著2012 年出版317 页ISBN：9787121153945
形式语言与自动机理论是计算机科学与技术专业的一门重要课程。本书是作者结合其多年来在大学讲授该门课程的经验和体会，选择和组织有关内容撰写而成。不仅含有有关正则语言、上下文无关语言的文法、识别模型...
李阳，黄云龙主编；本书编委会编著2007 年出版261 页ISBN：780177969X
本书共分10章，第一章为各种数制及其之间的转换方法和几种编码规则；第二章逻辑代数的基本定理、运算规则以及逻辑函数的化简方法；第三章分立元件门电路、TTL集成门电路和MOS集成门电路；第4章是后面时序电路的重...
谢晓尧著2008 年出版146 页ISBN：7030200322
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
王勇，陈光梦编著2013 年出版324 页ISBN：9787309100259
本书是普通高等教育“十一五”国家级规划教材《数字逻辑基础》和“十二五”国家级规划教材《模拟电子学基础》的配套教学用书。全书共12章，每章基本分为3个部分：第一部分是本章内容的重点和难点，并以例题讲解...
大学生形势与政策教育教学研究课题组2017 年出版132 页ISBN：9787516214619
这本《布局天下--大学生形势与政策教育读本（2017春季版）》共包括8个专题和时事测评试题，每个专题由”导语””想一想””拓展训练”等几个方面的内容组成。这些内容涵盖了最新的国内外大事，包括党的重大方针和...
