Fundamentals of digital logic with Verilog design Third Edition = 数字逻辑与Verilog设计 (第3版)
Stephen Brown ; Zvonko Vranesic2014 年出版848 页ISBN：7302366850
Lecture Notes in Artificial Intelligence 3065 Deontic Logic in Computer Science 7th International Wo
DEON 20042004 年出版275 页ISBN：3540221115
CONTEMPORARY LOGIC DESIGN SECOND EDITION
[美]RANDY H.KATZ GAETANO BORRIELLO著2005 年出版607 页ISBN：7121014475
本书保持第一版注重介绍数字逻辑设计的基本内容、概念和方法这一特点，又结合目前数字设计技术的发展，更新了相应的硬件技术，加入了最新的可编程逻辑技术的知识，还引入了电子设计自动化的设计工具，通过使用目前在...
Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN：3540221522
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4371 Computational Logic in Multi-Agent Systems 7th Interna
CLIMAA VII Hakodate2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3487 Computaitonal Logic in Multi-Agent Systems 5th Interna
CLMA V Lisbon2222 年出版0 页ISBN：
PADS Logic/Layout原理图与电路板设计 第2版
周润景，邵绪晨等编著2017 年出版371 页ISBN：9787111578208
以具体电路为范例详尽讲解元器件建库、原理图设计，电路板布局、布线、仿真，CAM文件输出等电路板设计的全过程。原理图设计采用PADS Logic软件，讲解元器件符号的创建、元件管理及原理图设计；电路板设计采用PADS...
Lecture Notes in Artificial Intelligence 3259 Computational Logic in Multi-Agent Systems 4th Interna
CLIMA IV Fort Lauderdale2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
