面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
(比)吉贝尔·德莱雅著2009 年出版21 页ISBN:9787539430850
《玛蒂娜故事书系列第4辑(第16-20册)(套装共5册)》内容简介:“玛蒂娜”系列围绕一个名叫玛蒂娜的小淑女的形象,描画了她的生活、学习、游戏、娱乐、交友、体育、旅游等一系列女孩成长过程中的点点滴滴,以场景...
黄宏文主编2017 年出版233 页ISBN:9787030459671
植物园在长期的收集评价、保存栽培中,积累了大量的植物引种评价信息和园地栽培观测的记录资料,然而因不同历史时期条件所限,各植物园长期以来缺乏数据整理和编目研究,使得植物园许多有研究和利用价值的植物资源...
(德)特奥多尔·霍夫曼(Theodor Hoffmann)著;王建政等译2001 年出版456 页ISBN:7544301141
东德末任军职国防部长及国家人民军总司令,从个人的角度描述了两个历史性日期——1989年11月9日柏林墙倒塌之日和1990年10月3日两德统一之日——间的日日夜夜。 这是一个政治与社会发生深刻变化的历史时期,国...
(德)霍尔斯特·佩特里(Horst Petri)著;陈瑛,王绪梅译2003 年出版266 页ISBN:7800969940
21世纪如何做父亲?本书诚挚告诉我们:怎样做丈夫,怎样做父亲。继世界畅销书《穷爸爸、富爸爸》之后,德国出版界又推出一部“爸爸”系列之作——《好爸爸、坏爸爸》。女人们对“新型父亲”有什么要求——男人们对...
(德)阿尔弗雷德·德布林著;罗炜译2018 年出版570 页ISBN:9787532776535
德国文学史中第一部重要的大都市长篇小说,现代小说史中的一个里程碑。小说描述:弗兰茨同妻子发生口角失手致其丧命,被判四年徒刑,出狱后决心重新做人,他白天在亚历山大广场卖报纸和小商品,晚上去小酒店消磨时间.....
田侃,吕雄文主编2016 年出版327 页ISBN:9787506778848
本教材是全国普通高等医学院校药学类专业“十三五”规划教材之一。本教材内容分为两部分:药事管理学总论,即绪论、药事管理立法、国家药物管理制度、药品监督管理、药品药师与药学伦理。药事管理学分论,即药品...
(德)乌尔利希·贝克著;李荣荣译2016 年出版198 页ISBN:7532770362
本书是上海文化发展基金资助项目。本书是德国著名社会学家贝克的最新作品,也是他将其“风险社会”理论和“个体化”理论结合,对宗教问题进行论述的一本精彩之作。贝克认为,作为“欧洲现代性危机”的宗教危机、...
(德)西碧拉·莱维查洛夫著;顾苏译2016 年出版301 页ISBN:7532770257
小说《布鲁门贝格》架构在真实存在的哲学家身上,最近一家德国出版社将他的一些未曾出版过的手稿重新整理,从中截取出有关“狮子”的古老和现代故事的笔记,形成一本名为《狮子们》的著作。而西碧拉·莱维查洛夫...
(美)卡伦德,(美)赫盖特编2013 年出版377 页ISBN:9787535775368
基础物理的最大挑战是如何将量子力学和广义相对论在一个被称为“量子引力论”的理论中统一起来。这一工程,将促使我们关于空间、时间和物质的概念产生深刻的改变,因此已成为物理学家与哲学家辩论、合作的一个...