(美)霍尼娜著;(美)德舍尔,(美)德卡洛,(美)洛克里奇绘;赵妍译2012 年出版140 页ISBN:7535366708
本套书以蝙蝠侠为主角的经典短篇小说集,情节惊险跌宕,既有扣人心弦的推理破案,又有英勇的战斗和奇幻的冒险。书中彩插精美,内容精彩是孩子课外阅读娱乐的首选。...
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
林瑞明著;吕美女主编1993 年出版460 页ISBN:9579027943
附录:1.台湾新文学运动史研究新段阶。2.初出一览表。
吕丽娜著;北京华视百年文化发展有限公司绘2011 年出版94 页ISBN:9787539750149
本书选取当代著名儿童文学作家吕丽娜的原创优秀作品,所选童话故事充满童趣、富于想象。采用文图结合的编排方式,文字采用适合幼儿及小学生阅读的大字号,配以风格多样的精美插图,美文美图,集文学性、艺术性、趣味...
吴嘉敏主编;刘晓鸣,吕建辉,唐学祥副主编1994 年出版650 页ISBN:7543904314
收录1991年出版的、报道化学化工及相关学种的期刊、学报、文献435种, 17720篇.