(美)阿尔伯特陈著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
提及《小妇人》一书,几乎是无人不知,无人不晓的,由于读者的不断要求,作者再度提笔写了《小妇人》的第二部《好妻子》。本书是描写四位少女成长后的恋爱史;除了蓓丝病逝之外,书中提及三位少女都找到自己心爱的伴.....
(美)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