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