经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动...详情

经典好书《欧洲思想的危机》读书内容简介:尔用一副纷杂广阔的画卷，向我们描绘了当时各种思想、各种人物风起云涌的壮丽景象，让我们领略到一出一直延续到今日并永不落幕的伟大剧作，那就是人类的命运。保罗·阿扎尔在本书中描述了17世纪和18世纪之间的一段历史，以及其间发生的引人入胜的思想...详情

经典好书《第一机械时代的理论与设计》读书内容简介:一时期曾经被人们称为喷气机时代、清洁剂时代、第二次工业革命时期，等等。在那个阶段，几乎任何一个标签都会引起人们对某些科学技术变革的关注。因为这些变革极大地影响了人们的生活，在我们整体的命运轨迹中开辟了可选择的全新路径。本书着重研究从19世纪晚期到20...详情

经典好书《我怕没有机会，选择真正喜欢的生活》读书内容简介:：刘笑嘉“在路上，我有了大块的时间用来回味平日里的生活，记忆仿佛将生活换了一副面孔。喧闹的通通快进，宁静的变为定格画面，真正震动心弦的俱无声无息，一帧一帧，逐格展现。也许这才是生活原本的样子。只因最好的旅行，是通往自己的内心。”...详情

经典好书《电机电磁场的分析与计算》读书内容简介:大学(原哈尔滨电工学院)教授，中国电工技术学会名誉理事。1953年毕业子东北工学院，1955年毕业于哈尔滨工业大学研究生班。1955，1962年在哈尔滨工业大学任讲师，1962-1978年任副教授，1979年在哈尔滨电工学院任教授至今。长期从事电机专...详情

经典好书《人机交互：以用户为中心的设计和评估》读书内容简介:”方法相关的背景知识及发展概况。其后，分3篇分别介绍了解用户、用户界在设计和可用性评估的内容及一些相关的研究专题。最后，第11章讨论了在组织中实施以用户为中心的设计的专题。本书主要面向的读者包括：软件或网站的设计人员。同时本书也可成为“现代人因工程学...详情

经典好书《伺机下手的贼》读书内容简介:他最鼓舞人心且最受歡迎的角色之一：與眾不同的柏尼•羅登拔。白天是珍本書商，晚上是小偷，柏尼有種天賦異稟，可以進入種種設計來要把小偷擋在外面的地方。世故卻又腳踏實地，睿智卻務實，柏尼是個紳士，熟知且熱愛曼哈頓五花八門又充滿刺激的街道；他也是個鑑賞家，生...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《主体的生成机制》读书内容简介:我的生成机制。全书将重点放在对十七年诸多电影文本的细读上，在身体生产与国家认同这个维度中，去试图打捞、审视并重读这些被遗漏在重读视野之外的，只能够在电影史的叙述中被偶尔提及和简要概述的影片，从而力图在一定程度上丰富既有的对十七年电影的研究。全书对理论...详情