Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer Science 4288 Algorithms and Computation 17th International Symposium
ISAAC 20062006 年出版766 页ISBN:9783540496946
(法)乔治·杜比,罗贝尔·芒德鲁著;傅先俊译2019 年出版889 页ISBN:9787547314043
本书自1958年出版以来,多次再版,是法国历史和文明史方面的经典著作。历次再版也均对内容有所更新,第十一版还增添了“追溯当代法国”。本书分中世纪、现代法国、当代法国三大部分,共十八章,主要论述:大进步的世.....
最高人民检察院侦查监督厅编2016 年出版228 页ISBN:9787510215759
最高人民检察院侦查监督厅与中国检察出版社合作出版的《侦查监督指南》丛书于2011年12月创刊出版。《侦查监督指南》是全国检察机关侦查监督部门、公安机关和相关行政执法机关的业务指导性用书,旨在为侦查监...
(美)罗伯·莫里斯,(英)伊恩·霍金斯著;程逸松译2017 年出版296 页ISBN:9787538755466
本书第一本完整地讲述了二战时期的一个轰炸组从起初建立到现今的历史书。本书充分搜集了对近一百名空军老兵的采访,数十份未被公诸于众的轰炸组成员回忆录,以及近百种其他资源,使我们在策略还有人性上都对这样...
陈念祥,张思羽主编2008 年出版284 页ISBN:7801655435
外贸是一个风云突变、时代性很强的行业,其相关规则、技巧需要应时而生、随势而变。令人欣慰的是,3年来本书的大部分作者一直战斗在外贸行业。他们有的已经成长为事业部经理、总经理助理,成为真正的金牌外贸人...
广东省立中山图书馆编2015 年出版462 页ISBN:9787545442823
本项目系国家出版基金资助项目。本项目全面收集整理、影印出版近代以来至建国前的侨刊和侨报。是中国近代史和世界近代史文献的重要组成部分,对研究中国对外交往史、华侨移民情况及中国和侨居国当时的社会形...
国家法官学院案例开发研究中心编2017 年出版258 页ISBN:9787509381489
本书是《中国法院2017年度案例系列》(全21册)的一个分册。内容包含专利纠纷、商标纠纷、著作权纠纷、侵害信息网络传播权纠纷、不正当竞争纠纷等案例。所选案例均是国家法官学院从各地2016年上报的典型案例中...
中国楚辞学 第17辑 2009年深圳屈原与楚辞学国际学术研讨会论文集
中国屈原学会编2011 年出版360 页ISBN:7507738876
中国楚辞学:2010年江苏南通屈原与楚辞学国际学术研讨会论文集(第17辑),ISBN:9787507738872,作者:中国屈原学会 编
(挪)蕾吉娜·施托克著;孙晓峰,张静译2012 年出版309 页ISBN:9787505730205
本书是一个罹患白血病的十七岁女孩蕾吉娜在生命的最后时刻的情感表达,她用博客的形式真实记录了自己在生命的最后旅程中的真实情感,感动了无数网友。最初的蕾吉娜还只是一个在医院因为得不到单间病房而大吵大...