嵌入式实时系统 调度、分析和验证

（美）阿尔伯特陈著2015 年出版404 页ISBN：9787512418714

本书面向嵌入式实时系统，较系统地论述了基本的实时调度算法、调度性分析方法，描述了引入形式化方法的必要性，并为实时系统设计提供一个清晰的形式化方法基础。其核心是面向实时系统的形式化分析（formal analysi...

大灭绝时代

（美）伊丽莎白·科尔伯特著；叶盛译2015 年出版396 页ISBN：9787532768714

我们或许早已知道，地球历史上曾发生五次大灭绝，每一次都给全球生物多样性造成了毁灭性的影响。然而，这些翻天覆地的大灾变到底为什么发生？有无规律可循？与我们人类何干？本书从居维叶时代开始，娓娓道出数百年来......

铜器鉴赏与收藏

李泽奉，刘如仲主编；罗伯健，李学中编著1994 年出版182 页ISBN：7538412077

李学中，女，1940年生，天津人，中国历史博物馆研究馆员，主要从事夏商周时期陈列的内容设计和研究工作，合著有《简明中国历史图册》、《简明中国文物辞典》、《中华文物鉴赏》、《铜器鉴赏与收藏》等本丛书为普及古.....

后殖民理论 语境、实践与政治 外国文学研究文库

（英）巴特·穆尔-吉尔伯特（BartMoore-Gilbert）著2018 年出版243 页ISBN：9787521301052

《后殖民理论：语境、实践与政治》：本书是“外国文学研究文库”系列的一本，定位于将国外文学研究的重要成果引介给我国的外国文学学者、学生及爱好者，采用英文原版引进、国内资深学者撰写导读的方式。本书宏观加...

跟奥巴马学口才 奥巴马最权威的演讲记录

（美）哈里森，吉尔伯特编著2009 年出版394 页ISBN：9787561347683

本书采用中英文对照的编排方式，汇集了美国现任总统巴拉克·奥巴马自2002年10月的反伊战演说到2008年11月的总统获胜演说的30篇演讲，主题涉及经济、政治、军事、文化、环保等诸多方面，对于了解奥巴马的政策思路...

好妻子

（美）L·M·奥尔科特著；杨玉娘译2000 年出版398 页ISBN：9577547184

提及《小妇人》一书，几乎是无人不知，无人不晓的，由于读者的不断要求，作者再度提笔写了《小妇人》的第二部《好妻子》。本书是描写四位少女成长后的恋爱史；除了蓓丝病逝之外，书中提及三位少女都找到自己心爱的伴.....

C++大学教程 第5版

（美）H.M.Deitel，（美）P.J.Deitel著；张引等译2007 年出版1078 页ISBN：7121026570

本书是一本C++编程方面的优秀教程，全面介绍了过程式编程与面向对象编程的原理与方法，细致地分析了各种性能问题、可移植性问题以及可能出错的情况。与第四版相比，本书从内容和结构上都做了较大幅度的修订与有...

SILARG 6：PROCEEDINGS OF THE 6TH SIMPOSIO LATINO AMERICANO DE RELATIVIDAD Y GARVITAION

M NOVELLO1987 年出版367 页ISBN：9971504367

REFKECTUIBS IB NURSING 80INSPIRING STORIES ON THE ART AND SCIENCE OF NURSING

NICOLE DERNOSKI MARIA M.MCAVEY PRISCILLA CRATER2017 年出版194 页ISBN：1496359063

INTRODUCTION TO COMPUTERS AND INFORMATION SYSTEMS WITH HANDS-ON SOFTWARE TUTORIALS

ROBERT A.SZYMANSKI DONALD P.SZYMANSKI NORMA A.MORRIS DONNA M.PULSHEN1991 年出版932 页ISBN：0675221846