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 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
Lecture Notes in Computer Science 3455 ZB 2005:Formal Specification and Development in Z and B 4th I
2005 年出版493 页ISBN：3540255591
Designing the User Interface Strategies for Effective Human-Computer Interaction Fifth Edition
Ben Shneiderman2010 年出版606 页ISBN：9787121119125
本书为了适应因特网和各种移动设备迅猛发展的形势，在第四版的基础上始终以基于Web、桌面和移动设备的设计作为内容主线。新的设计实例涉及电子商务、在线社区、电子政府、图片管理、购物、交通、游戏和移动...
神经外科典型病例的难点与对策 cases with expert commentary
（英）罗宾·巴蒂亚，（英）伊恩·萨宾主编2018 年出版248 页ISBN：9787543337244
本书汇集英国著名神经外科中心的国际知名专家共同撰写，基于神经外科的疑难临床案例，其中涵盖肿瘤，血管神经外科，脑和脊髓外伤、小儿神经外科、脊柱退变性疾病、外周和颅神经病变，功能性神经外科以及感染等主要的...
Lecture Notes in Computer Science 3813 Security and Privacy in Ad-hoc and Sensor Networks Second Eur
ESAS 20052005 年出版219 页ISBN：3540309128
Lecture Notes in Computer Science 4546 Petri Nets and Other Models of Convurrency-ICATPN 2007 28th I
ICATPN 20072007 年出版515 页ISBN：9783540730934
