经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《整理的艺术4:升职从整理开始》读书内容简介:了!修炼外语技能│应对资格考试│规划职业生涯为职场人量身打造风靡日本的超高效职场学习法,“穷忙族”“月光族”“草莓族”翻身必备本书将帮你打造完美的——〖学习工具〗手机、耳机、MP3、录音笔,不起...详情
经典好书《产品经理进化论:AI+时代产品经理的思维方法》读书内容简介:法》以人工智能时代产品经理的思维与方法为主线,讲述了产品经理在人工智能浪潮中,从一般的互联网产品的产品经理升级到 AI+产品的产品经理应该思考的问题,应该具有的产品感知,以及在产品中嵌入 AI 时应该如何解决问题。第一部分主要讲述人工智能时代产品经理...详情
数据库管理系统原理与设计 书籍
经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情
经典好书《深入理解机器学习:从原理到算法》读书内容简介:Shwartz和加拿大滑铁卢大学教授Shai BenDavid的专著《Understanding Machine Learning:From Theory to Algorithms》是机器学习领域一部具有里程碑意义的著作。近几年,...详情
物理动理学 书籍
经典好书《物理动理学》读书内容简介:》全面详细地论述了统计非平衡系统中过程的微观理论,特别着重于阐述基本物理概念和一般原理与方法。全书内容十分丰富,除了对简单的气体动理学理论给予足够重视外,还用了几章篇幅充分论述了等离体动理学理论,此外对介电体、金属、超导体、量子液体以及相变理论中的动...详情
经典好书《整理HACKS!―1分でスッキリする整理のコツと習慣》读书内容简介:存技能培训教练,学校老师,“赫曼全脑模型”推广人,演讲会主办者,日本知名畅销书作家,精通各种工作技能和生存术,是身兼数职仍能按自己的兴趣生活的整理达人。1975年出生于日本福冈县,京都大学文学部哲学美术科美学美术史专业毕业后任职于知名广...详情
经典好书《信用评分工具--自动化信用管理的理论与实践》读书内容简介:客观实际情况,对行业实践操作进行系统梳理,因此具有极强的现实指导作用。本书作者以其30多年的银行风险管理的经验为发展中国家实现信用评估和信用管理现代化提供了宝贵的经验。这是迄今为止信用评分领域较为详尽的一本著作,它是商业银行和贷款机构半个多世纪以来在...详情
心慌?心郁?逐个捉 电视剧
电视剧【心慌?心郁?逐个捉】剧情介绍:郭峰饰)对出身的小村落念念不忘。接到父亲于村内失踪的消息时,宁更是难以接受。她深信案中有案,因而强拉任高级督察的男友刘可发(郭耀明饰)入村查个究竟。宁与村长程乃海(马德钟饰)犹如宿世冤家,时生争执。宁调查期间频生意外,幸海一再出手相救,叫她不禁心生异...详情
经典好书《对象-关系数据库管理系统原理与实现》读书内容简介:理系统Angel为背景,在深入分析国内外相关研究成果的基础上,针对对象-关系这种目前应用最为广泛、最为重要的数据库管理系统,论述了对象-关系数据库系统的原理与实现技术。作为国内第一本全面、系统而深入地论述对象-关系数据库管理系统设计思想与实现技术的专...详情