张之路著;郑诃绘2018 年出版97 页ISBN:9787539795959
“彩虹桥中国名家原创桥梁书”是中国的儿童文学名家潜心为中国孩子创作的一套符合中国儿童阅读习惯、展现中国文化底蕴的桥梁书。套书首次推出5册,读者定位为5-8岁低年级儿童,全部用童话的文学形式呈现,由知名...
郭爱民著2018 年出版297 页ISBN:9787511735959
工业化时期英国的土地问题是经济史学界关注的热点问题之一。本书以前人的研究为基础,立足整体史观,以多重视角,考察了工业化时期英国的土地流动和经营问题。全书共分为四个部分。第一部分即导言,介绍了国际和国...
金冲及著2002 年出版534 页ISBN:7108017504
看到《转折年代:中国的1947年》这个书名,读者可能会提出一个问题:拿20世纪40年代后半期的中国来说,几乎每年都有重大事情发生,例如1945年抗日战争胜利,1946年全面内战爆发,1948年国民党统治区财政经济的全面崩溃、...
舒乙,傅光明主编2002 年出版316 页ISBN:7500434804
今天是新一轮中国现代文学馆星期回义务演讲的第一讲,第一讲我们就特意安排了讲鲁迅。毛主席对鲁迅有一个非常高的评价:鲁迅先生是中国文学的主将,他不光是伟大的文学家,同时还是伟大的思想家和革命家。今年是鲁...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
张秀华,张庆灵著2007 年出版182 页ISBN:9787030197528
本书针对非线性微分代数系统,介绍了非线性微分代数系统的稳定性,在无源分析和耗散性理论的基础上,给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括:系统的介绍了非线性微分代数...
(英)马琳·祖克著;王紫辰译2017 年出版357 页ISBN:9787100124324
《昆虫的私生活》译自美国著名昆虫学家马琳祖克(Marlene Zuk)教授撰写的有关昆虫研究的科普著作Sex on Six Legs。中文译稿约有210千字。《昆虫的私生活》是一本趣意盎然、引人入胜的小书,主题是昆虫的行为。...
张藜总主编;罗兴波本册主编2017 年出版483 页ISBN:9787504671493
本册丛书记述了老科学家学术成长采集工程中入选的32位出生于20世纪初,从事气象、农业、动植物及医学专业的科学家学术成长经历和他们对新中国科技发展做出的卓越贡献。各篇文章都为采集工程各个采集小组根据...
许儒航著2016 年出版237 页ISBN:9787512386303
建筑业在高速发展的过程中,也面临着一系列的问题,这要求政府加强对建筑业的监管。对建筑业进行监管的一个核心点是对建设项目的监管,因为建设项目是构成建筑业的实体,是各参与方的一个重要交互点。本文第2章在...