-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
-
学会跟孩子说话 好家长操作实务
赵雨林著2003 年出版292 页ISBN:7801902300赵雨林,男,测试技术本科毕业,哲学专业的研究生,兴趣广泛,极具创新精神,在承担报社编辑、心理咨询师、实验学校校长、软件开发设计师、企业发展与管理策划顾问等工作的同时,集中致力于学习科学和家庭教育的研究......
-
公私定律 村庄视域中的国家政权建设
赵晓峰著2013 年出版355 页ISBN:9787509746028公与私的问题,是中国政治哲学与实践哲学中的重大问题。公与私,不仅是一个看法、一种观念、一套规则,而且是形塑地方社会秩序的文化认同性力量。本书作者赵晓峰博士认为,农民的公私观念形塑着地方社会的秩序,决定...
-
基于中介语语料库的汉语句法研究
赵金铭等著2008 年出版289 页ISBN:9787301144299本书在对大规模语料进行统计分析的基础上,对汉语中介语语法和汉语语法中的某些专题进行了系统性研究,在研究角度、研究方法等方面都有创新,主要体现在:1)利用“汉语中介语语料库”,采取定量研究与定性分析相结......
-
胡塞尔与《笛卡尔式的沉思》
A. D. 史密斯著;赵玉兰译2007 年出版314 页ISBN:7563365303劳特里奇出版公司出版了二十世纪众多顶级书系……这些美观大方、印刷精良的平装书的确具有非凡的价值,我们必须感激劳特里奇将这些思想传奇带回到普通大众的案头前。——《爱尔兰时代周刊》 此书是对胡...
-
最后一道命令 东德剧变亲历记 东德末任军职国防部长的回忆
(德)特奥多尔·霍夫曼(Theodor Hoffmann)著;王建政等译2001 年出版456 页ISBN:7544301141东德末任军职国防部长及国家人民军总司令,从个人的角度描述了两个历史性日期——1989年11月9日柏林墙倒塌之日和1990年10月3日两德统一之日——间的日日夜夜。 这是一个政治与社会发生深刻变化的历史时期,国...
-
-
译文经典 柏林,亚历山大广场
(德)阿尔弗雷德·德布林著;罗炜译2018 年出版570 页ISBN:9787532776535德国文学史中第一部重要的大都市长篇小说,现代小说史中的一个里程碑。小说描述:弗兰茨同妻子发生口角失手致其丧命,被判四年徒刑,出狱后决心重新做人,他白天在亚历山大广场卖报纸和小商品,晚上去小酒店消磨时间.....
-
麦当劳工作法 超越员工守则的31个方法
(日)铃木健一著;赵海涛译2015 年出版199 页ISBN:9787569904413本书将会告诉你:麦当劳王国的最大强项不是员工守则!以往通常认为,麦当劳今日的成功得益于从业人员的行为被彻底地制度化。提供高质量的产品和优质的服务的秘诀绝非隐藏在员工的手册当中。所有都有赖于对熟练掌...
