硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
葛竞著2007 年出版174 页ISBN：9787807328346
个头不高，眼睛又大又亮，头发总是乱蓬蓬的包达达，是个号称牛爱比尔——牛顿+爱因斯坦+比尔盖茨的6年级小学生。包达达遇见了一个叫卜卜的男孩，以自己的日记本为交换条件，许下了3个一定会实现的愿望：让自己的同学.....
BRIDGING ORGANIZATION DESIGN AND PERFORMANCE 5 WAYS TO ACTIV ATE A GLOBAL OPERATING MODEL
JOHN WILEY AND SONS2016 年出版248 页ISBN：9781119064220
数学学习及其困难=ON THE STUDY AND DIFFICULTIES OF MATHEMATICS
AOGUSTUS·DU·MORGAN2017 年出版174 页ISBN：9787040489064
本书特别注意代数和几何原理中的几个要点，这在关于这些科学的基础著作中没有得到应有的重视。有两类人可能通过这类作品受益，迄今不加证明地将学生限制在规则下的基础教师和已经在这个系统下获得一些知识的学...
TEACHING SPORT CONCEPTS AND SKILLS A TACTICAL GAMES APPROACH FOR AGES 7 TO 18
STEPHEN A MITCHELL JUDITH L. OSLIN LINDA L. GRIFFIN2013 年出版660 页ISBN：1450411223
Proceeding of 2008 Sino-Australia International Conference on Accounting and Finance Accounting Scho
中南财经政法大学会计学院编2010 年出版913 页ISBN：7505886636
KAPLAN AND SADOCK'S SYNOPSIS OF PSYCHIATRY:BEHAVIORAL SCIENCES CLINICAL PSYCHIATRY SEVENTH EDITION
HAROLD L.KAPLAN BENJAMIN J.SADOCK JACK A.GREBB1994 年出版1257 页ISBN：0683045309
REFORMING CHINA EXPERIENCES AND LESSONS ENRICH SERIES ON CHINA'S ECONOMIC REFORM VOL.2
SERIES EDITOR:LI TIEYING2011 年出版497 页ISBN：9814298025
ADVANCED ENGINEERING ANALYSIS：THE CALCULUS OF VARIATIONS AND FUNCTIONAL ANALYSIS WITH APPLICATIONS I
LEOMID P.LEBEDEV，MICHAEL J.CLOUD，VICTOR A.EREMEYEV2012 年出版489 页ISBN：9789814390477
STRATEGIC LEADERSHIP FUNDAMENTALS FOR AFRICA IDENTIFYING AND KNOWING THE PILLARS OF LEADING COMPETI
MEIYA G.NTHOESANE，HELLICY C.NGAMBI AND VATISWA MLONZI2011 年出版100 页ISBN：3639367782
