硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
（美）William K. Lam著；王维维译2007 年出版359 页ISBN：7111195027
本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。
葛竞著2007 年出版174 页ISBN：9787807328346
个头不高，眼睛又大又亮，头发总是乱蓬蓬的包达达，是个号称牛爱比尔——牛顿+爱因斯坦+比尔盖茨的6年级小学生。包达达遇见了一个叫卜卜的男孩，以自己的日记本为交换条件，许下了3个一定会实现的愿望：让自己的同学.....
SPECIALISTIC ENGLISH FOR ARCHITECTURE，PLANNING AND LANDSCAPE
郑启颖主编 王世福 孟光伟副主编2008 年出版296 页ISBN：9787560944319
本书分为建筑、城市规划、环境设计三大部分，每部分选材涵盖该专业所涉及的主要内容。理论部分侧重基础知识，巩固基础；案例部分力求反映最新的设计思潮。教学模块及特点：课文正文附有主题句中文导读，便于快速了解...
BRIDGING ORGANIZATION DESIGN AND PERFORMANCE 5 WAYS TO ACTIV ATE A GLOBAL OPERATING MODEL
JOHN WILEY AND SONS2016 年出版248 页ISBN：9781119064220
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
REFORMING CHINA EXPERIENCES AND LESSONS ENRICH SERIES ON CHINA'S ECONOMIC REFORM VOL.2
SERIES EDITOR:LI TIEYING2011 年出版497 页ISBN：9814298025
An Introduction to Central Simple Algebras and Their Applications to Wireless Communication Volume 1
Gregory Berhuy ; Frederique Oggier2013 年出版278 页ISBN：0821849378
最简方案框架下英语小句中名词合法性研究 英文版 = NP LICENSING IN ENGLISH SMALL CLAUSES: A MINIMALIST APPROACH
祁小雯著2017 年出版170 页ISBN：9787313180025
本书是“当代外语研究论丛”之一，为英语小句中名词性谓语的合法性问题研究，目的是在最简方案框架下，解释小句中位于谓词位置的非论元名词项合法性的检验机制。本研究采用特征核查机制，充分描述并解释了处于非论...
核心能力共享 民营企业扩张首选模式 the best expansion model of private enterprise
罗剑宏著2006 年出版228 页ISBN：754384477X
本书给出核心能力学定义，摆出共享学的管理模式和程序，环境以及风险，从而建立核心能力共享的理论框架。利用核心能力共享理论框架，对民营企业扩张模式进行实证研究。...
全球最美100个自然风景 100 Most Beautiful Natural Wonders of The World
《图形世界》编辑部编著2015 年出版231 页ISBN：9787503253423
本书按照五大洲为类别，精选全球100个最奇特最壮丽的自然景观进行介绍，并按照季节推荐了一年四季最适宜旅游的景点排名，附有此地实用，丰富的旅游指南信息。图行世界偏于旅行文化类选题，此次再版对图片和部分内容...
