Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
CMOS Digital Integrated Circuits：Analysis and Design （Third Edition）
Sung-Mo Kang Yusuf Leblebici著2004 年出版626 页ISBN：7302090602
本书是美国巴斯肯工学院Sung-Mo（Steve）Kany教授和洛桑瑞士联邦工学院Yusef Leblebici教授编著的一本讨论CMOS数字集成电路分析与设计的教材。该书于1995年首版，1998年，2002年第2版和第3版。该教材内容全面，理论...
DIGITAL VLSI CHIP DESIGN WITH CADENCE AND SYNOPSYS CAD TOOLS
（美）ERIK BRUNVAND著2009 年出版571 页ISBN：9787121091599
本书介绍如何使用Cadence和Synopsys公司的CAD工具来实际设计数字VLSI芯片。读者通过本书可以循序渐进地学习这些CAD工具，并使用这些软件设计出可制造的数字集成电路芯片。本书内容按集成电路的设计流程编排，...
Lecture Notes in Computer Science 3422 From Computer Literacy to Informatics FundamentalsInternation
ISSEP 20052005 年出版203 页ISBN：354025336X
Lecture Notes in Computer Science 2095 Computer Vision Systems Second International Workshop
ICVS 2001 Vancouver2222 年出版0 页ISBN：
Digital logic: applications and design = 数字逻辑: 应用与设计 (英文版)
John M. Yarbrough2002 年出版704 页ISBN：711110837X
本书系统地介绍了数字电路设计与分析的基础知识，内容全面，实用性强。首先从数字电路、数制系统等基本概念入手；然后论述组合逻辑、时序电路的分析与设计以及异步时序电路；最后讨论了数字开关电路。书中提供的数...
