Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
DIGITAL VLSI CHIP DESIGN WITH CADENCE AND SYNOPSYS CAD TOOLS
（美）ERIK BRUNVAND著2009 年出版571 页ISBN：9787121091599
本书介绍如何使用Cadence和Synopsys公司的CAD工具来实际设计数字VLSI芯片。读者通过本书可以循序渐进地学习这些CAD工具，并使用这些软件设计出可制造的数字集成电路芯片。本书内容按集成电路的设计流程编排，...
高等学校英语应用能力考试 A级 策略·试题·解析 strategy， model tests and analysis
余宝珠主编；党争胜，张乐慧副主编2005 年出版213 页ISBN：7560051707
本书介绍了高等学校英语应用能力考试（A级）听力理解、语法结构、阅读理解、英译汉、写作/汉译英五个测试项目的大纲要求及解题策略，提供了11套模拟试题及2005年2套真题、各套题的参考答案及答案解析、听力理解...
Digital logic: applications and design = 数字逻辑: 应用与设计 (英文版)
John M. Yarbrough2002 年出版704 页ISBN：711110837X
本书系统地介绍了数字电路设计与分析的基础知识，内容全面，实用性强。首先从数字电路、数制系统等基本概念入手；然后论述组合逻辑、时序电路的分析与设计以及异步时序电路；最后讨论了数字开关电路。书中提供的数...
品牌识别法则：创建品牌形象、设计企业标识的100条原理=Brand Identity Essentials:100 Priniples For Designing Logos and Building
（美）凯文·布德尔曼，扬·金，科特·沃兹尼克著；曹治，邓瑛，朱峰译著2011 年出版208 页ISBN：
TRADING PRICE ACTION TRADING RANGES TECHNICAL ANALYSIS OF PRICE CHARTS BAR BY BAR FOR THE SERIOUS T
AL BROOKS2012 年出版586 页ISBN：1118066677
高等学校英语应用能力考试 B级 策略·试题·解析 strategy， model tests and analysis
余宝珠主编；党争胜，张乐慧副主编2005 年出版185 页ISBN：7560051715
本书介绍了高等学校英语应用能力考试（B级）听力理解、语法结构、阅读理解、英译汉、写作/汉译英五个测试项目的大纲要求及解题策略，提供了11套模拟试题、2套2005年最新真题以及各套题的参考答案及答案解析、听...
英语专业本科毕业论文设计与写作指导 第2版=THESIS DESIGN AND WRITING GUIDE FOR ENGLISH MAJORS(SECOND EDITION)
李正栓，焦绘宏主编2013 年出版330 页ISBN：
