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

经典好书《系统设计的一般原理》读书内容简介:结晶，针对那些无法通过传统方法解决的系统问题，为我们介绍了分析与理解这类问题的新观点和新方法。 这是一本有关一般系统的思想与如何有效思考的著作，对各个学科领域，都有广泛的适用性，不仅仅是关于计算机的系统，还包括各种系统--人类、自然、科技。它提供了许...详情

经典好书《政治生活的系统分析》读书内容简介: 本书介绍政治生活的系统分析，包括分析的模式、要求的输入、支持的输入、对支持所受到的压力的反应、作为特定支持调节者的输出等内容。本书力求反映现代西方思想学术的独创性与思维深邃性的同时，尤其注重思想的全面性及其内涵的启迪价值。值得一阅。作者简介详情

经典好书《Rootkit：系统灰色地带的潜伏者》读书内容简介:四部分。第一部分（第1～6章），全新阐释rootkit本质、rootkit与反取证关系、安全领域态势，以及反取证技术的策略、应对建议和攻击优势。之后，从硬件、软件（系统）、行业工具和内核空间方面介绍rootkit调查过程和利用反取证技术破坏调查过程的...详情

影片剧情摘要:界中，他是一个十足的屌丝&Loser，难以找到存在感，没有时尚感、没有朋友，也没有女朋友。但是二十五岁的他却是一个的电脑极客，拥有对数字技术不可思议的天赋。而影片中另一位主人公马克思是一个渴望“黑客世界”的潜在革命者，他注意到了本杰明在网络方面的惊人...详情

经典好书《复杂经济系统中的行为理性与异质性预期》读书内容简介:的理性进行互动的。基于此认识，本书提出了复杂经济系统中的行为理性与异质性预期理论,并通过经验特征事实和实验室实验来验证非线性动力学模型。20世纪80年代末以来，复杂性建模范式就一直被一些经济学家和来自物理学、计算机科学和生物学等各个学科领域的科学家所...详情

经典好书《系统的哲学》读书内容简介:动不息的火焰。为了把握这火焰的内在发展和自我否定，哲学家在凝固僵化的概念规定中引进了规定的自我否定，这就是矛盾。然而，矛盾会导致逻辑的破坏，因而现遭到科学的冷遇。怎样走出这个哲学的怪圈？科学和哲学有无内在的共同基础？当代人又怎样基于科学的要求和进展来...详情

经典好书《信息时代的管理信息系统》读书内容简介:关专业学生的教科书，也可作为中高层管理人员充实技能、提高自身知识素养的参考读物。在信息时代，知识己成为世界经济发展的动力《信息时代的管理信息系统》从管理和决策的角度阐述了当今信息技术发展的前沿领域和最新的系统开发方法，包括互联网和电子商务、多媒体技术...详情

经典好书《计算系统的形式语义》读书内容简介:两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第...详情

影片剧情摘要:的惊悚悬疑电影《亲密的陷阱》在广东深圳市西涌恬园乡间别墅低调的举行开机仪式暨新闻发布会，该片邀请了台湾性感天使刘乐妍亲情加盟助阵，一改往日角色饰演恶毒妻子设局陷害自己的丈夫。　　电影《亲密的陷阱》由实力派台湾明星刘乐妍、青年演员王玉富主...详情