注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页所有图书中搜索 鲍尔

出版图书中约有733项符合“鲍尔”及筛选条件的结果

搜索范围:
排序方式:
  • 高阶逻辑辅助证明系统

    高阶逻辑辅助证明系统

    (德)托比亚斯·尼普科夫 ,(英)劳伦斯·森 ,(德)玛库斯·温泽 著,陈光喜刘卓军 译 / 北京理工大学出版社 / 2013-05-01

    《高阶逻辑辅助证明系统》是在高阶逻辑中使用Isabelle辅助证明系统进行交互式证明的导论,适用于Isabelle系统的潜在使用者,自成体系,分为三部分:第一部分是基本技巧:介绍在高阶逻辑中如何进行函数式程序…

  • 绘本花园:爷爷的天使

    绘本花园:爷爷的天使

    (德)尤塔· 文;(德)尤塔· 图;高玉菁 译 / 湖北美术出版社 / 2009-03-01

    本书讲述了病重的爷爷躺在病床上,向懵懂的小孙子讲述了自己年少的亲身经历:童年的无忧、战争的无情、生活的无奈……作者用朴实简洁的文字描写故事、自由的线条勾勒出活泼的插图,再以轻柔的色彩,对应着爷…

  • 供应链物流管理(原书第4版)

    供应链物流管理(原书第4版)

    (美)唐纳德J.索克斯,戴维J.克劳斯M.比克斯比·库珀,约翰C.索克斯 著 / 机械工业出版社 / 2014-03-01

    供应链管理的核心思想是“系统”思维观和“流”思维观,对供应链中一切活动的优化要以整体最优为目标,《供应链物流管理(原书第4版)》正是体现了这一思想。书中阐述了为实现一体化物流管理所需的各项任务…

  • 自然的指印:遗传在性格中扮演的角色

    自然的指印:遗传在性格中扮演的角色

    (美)彼得·纽(Peter B.Neubauer),(美)亚历山大·纽(Alexander / 天下文化出版公司 / 1997-01-01

    暂缺简介...

  • 自然的指印:遗传在性格中扮演的角色

    自然的指印:遗传在性格中扮演的角色

    美)彼得·B.纽(Peter B.Neubauer)著,(美)亚历山大·纽(Alexand / 中信出版社 / 2003-03-01

    本书作者彼得·纽鲍尔和亚历山大·纽鲍尔通过观察同卵双胞胎的成长过程,阐明了遗传基因对人的性格发展的限制与影响。作者强调,个人在成熟与发展的历程中,如果能获得适时与适量的刺激,使个人顺应…

  • 教育中的放权与择校:学校、政府和市场

    教育中的放权与择校:学校、政府和市场

    hitty),(英)萨莉·(Sally Power),(英)大卫·哈平(David Halpi / 教育科学出版社 / 2003-01-01

    本书是作者对近年来出现的针对英格兰和威尔士、美国、澳大利亚、新西兰和瑞典等国家的教育重建的各种研究报告进行了梳理、分析与评价。本书抓住了放权与择校这两种将公立学校推向市场的基本途径,对教育重建…

  • 放松腰背:用轻松的方法为您克服腰背疼痛

    放松腰背:用轻松的方法为您克服腰背疼痛

    (德)克里斯托夫·,(德)贝尔恩德·图纳著;徐央央译 / 江苏科学技术出版社 / 2002-10-01

    叫健美带来健康,让生活充满阳光,用轻松的方法为您克服腰背疼痛。整套练习配有图片及文字说明:这样就没有悬而不解的问题。配有背部测试:哪些练习最适合您自己。服务性指导:关于强健背部的运动方式的说明…

  • 城市导线测量:平差及设计依据

    城市导线测量:平差及设计依据

    (苏)В.Д.沙科夫,(苏)Ю.И.马库泽著;李锡泉译 / 测绘出版社 / 1984-09-01

    暂缺简介...

  • 爱哭的猫头鹰

    爱哭的猫头鹰

    (奥地利)·菲斯特 / 湖北美术出版社 / 2010-06-01

    《海豚绘本花园系列:爱哭的猫头鹰》是以生动的语言,丰富的图画讲述了一个爱哭的猫头鹰的故事。

  • 德国物权法(下册)

    德国物权法(下册)

    (德)·施蒂纳 著;申卫星王洪亮 译 / 法律出版社 / 2006-10-01

    本物权法教科书自前版久已(1992年)售罄后,即急需新版面世。为便利读者,本次修订作有两项重要变动:其一,为方便浏览与阅读,全书采用标题方法;其二,为参引(本书)方便,全书在段落上采边码方法。书后…

  • 数学简史

    数学简史

    (苏)Б.В.斯基(Б.В.Болгарский)著;潘德松,沈金钊译 / 知识出版社 / 1984-01-01

    暂缺简介...

  • 海豚绘本花园:猫头鹰就不开门(精装)

    海豚绘本花园:猫头鹰就不开门(精装)

    ·菲斯特 / 长江少年儿童出版社 / 2015-11-01

    一天晚上,猫头鹰妈妈出门去给小猫头鹰找好吃的。“如果我不在家,你不能让任何人进来!”猫头鹰妈妈这样告诉小猫头鹰。小猫头鹰完全听了妈妈的话!可是,如果妈妈在门外敲门呢……猫头鹰妈妈走后,小猫头鹰…

  • 猫头鹰就不开门(平)

    猫头鹰就不开门(平)

    斯特 著,菲利珀高森斯 绘 / 长江少年儿童出版社 / 2015-11-01

    一天晚上,猫头鹰妈妈出门去给小猫头鹰找好吃的。“如果我不在家,你不能让任何人进来!”猫头鹰妈妈这样告诉小猫头鹰。小猫头鹰完全听了妈妈的话!可是,如果妈妈在门外敲门呢……猫头鹰妈妈走后,小猫头鹰…

  • 职业咨询方法与流程

    职业咨询方法与流程

    (美)阿曼德森,哈里斯-斯贝,奈斯 著 / 中国劳动社会保障出版社 / 2014-06-03

    本书通俗易懂,对“怎样进行职业咨询”进行了清楚阐释,对职业咨询师在培训中所需的专业及特质进行了定义。 本书强调职业咨询的实践性,审视了支撑职业选择发展理论的基本方法和资源。本书还强调将网络用于…

  • 德国物权法(上册)

    德国物权法(上册)

    (德)(Baur),(德)施蒂纳(Sturner)著;张双根译 / 法律出版社 / 2004-02-01

    本教科书着重贯彻对不动产物权法与动产物权法的区分处理。对不动产权权法自成系统地予以阐述,笔者于1948年出版的《土地法》中,即曾法试。彼时的构思,如今在更广泛地基础上得以继续,并扩及至动产物权法。…

  • 魅力腹部

    魅力腹部

    (德)克里斯托夫·,(德)贝尔恩德·图纳著;施益萍译 / 江苏科学技术出版社 / 2002-01-01

    这是一套针对广大女性,特别是办公女性减肥瘦身、打造魔鬼身材、塑造高雅高质的图书。以最简单的方法造就您完美的腹部。

  • 政治创新与概念变革

    政治创新与概念变革

    特伦斯·、詹姆斯·法拉塞尔·L.汉森编著 / 译林出版社 / 2013-03-01

    《凤凰文库·人文与社会系列:政治创新与概念变革》是一本纯粹探讨政治学概念的经典之作,遴选了16个具体概念,如宪法、民主、国家、权利、政党、意识形态、革命等,进行了刨根问底式的历史追溯和细致入…

  • Visual Studio技术大全

    Visual Studio技术大全

    (美),(美)斯内 著,刘彦博 等译 / 人民邮电出版社 / 2009-09-01

    《Visual Studio技术大全》全面涵盖Visual Studio的所有常用特性。书中从IDE基础开始,介绍了 Visual Studio中丰富的工具和功能,包括编辑器、各种设计器、重构、调试、共享代码等;探讨了Visual Studio所支…

  • 四国对德国和奥地利的管制:1945-1946年

    四国对德国和奥地利的管制:1945-1946年

    (英)迈克尔·弗(Michael Balfoue),(英)约翰·梅(John Mair)著; / 上海译文出版社 / 1980-01-01

    根据伦敦牛津大学出版社1956年版译出。

  • 第二次世界大战史大全:四国对德国和奥地利的管制1945-1946年

    第二次世界大战史大全:四国对德国和奥地利的管制1945-1946年

    主编;(英)迈克尔·弗(Michael Balfour),(英)约翰·梅(John Mair / 上海译文出版社 / 1995-01-01

    本书又称:国际事务概览·战时编(1939~1946)。

读书推荐

«上一页1234567891011121314151617...下一页»