Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
The Law of Consumer Redress in an Evolving Digital Market: Upgrading from Alternative to Online Disp
Pablo Cortes2017 年出版314 页ISBN：1107079007
Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design
System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN：9783540727255
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
