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

经典好书《面向对象软件构造》读书内容简介:f Architect of Eiffel Software (based in California, http://eiffel.com) and Professor of Software Engineering at ETH Zurich, ...详情

经典好书《Python3面向对象编程(第2版影印版)(英文版)》读书内容简介:nadian software developer and author currently living in Seattle， Washington. He has been active in the open source community...详情

经典好书《面向对象分析与设计》读书内容简介:代表作之一，也是此领域公认的不可替代的权威著作，在推动面向对象技术走向现实应用的过程中发挥了重要的作用，曾获得《Software Development》杂志的Jolt图书大奖。本书吸收了众多项目的丰富经验，从概念、方法和应用三个角度全面深入论述了面...详情

经典好书《面向模式的软件架构，卷3》读书内容简介:德国慕尼黑西门子研究院高级软件工程师，Michael Kircher Software UG (haftungsbeschränkt)公司总经理。关注的领域包括分布式对象计算、软件架构、模式、极限编程及创新环境中脑力劳动者的管理。与人合著有*Remo...详情

电视剧【面向阳光的地方～初恋～】剧情介绍:自在的人，他和他的同伴们组成了名为“Ⅲ组”的组织，以活动房为家。青山凛（莲佛美沙子 饰）是一个生活的如同行尸走肉一般的女孩，某一天，在命运的牵线搭桥之下，她和英志相遇了。英志让凛知道，原来这个枯燥无味的世界里，竟然还有生活的如此生龙活虎的一群人。 ...详情

经典好书《面向思的事情》读书内容简介: 本书收录了海德格尔晚年的三个演讲稿和一次讨论班的纪录稿。篇幅虽小，但属于后期海德格尔的最重要著作之一。本书初版于1969年，现被辑为海德格尔全集第14卷。作者简介详情

经典好书《身體三面向: 文化、科技與社會》读书内容简介:的綜述，也為形體化的分析提供了革新的架構。對於和此主題相關的古典以及當代研究工作，本書為兩者之間的關係提出一種新穎且令人信服的觀點，並以此為基礎，主張身體應被解讀為社會構造的多元面向媒介。在此基礎上，作者建構了一系列身體和經濟、文化、社會、工作、運動...详情

经典好书《梁启超的经济面向》读书内容简介:有一個面向是至今尚未充分探索的，那就是他的經濟論述。在梁的全集裡，經濟論述所佔的比例不高，只是他議論眾多時事的一環；但他對某些經濟問題曾經下過深入的工夫研究，幣制改革和財政制度尤其是他關懷的重點。梁的文筆犀利活潑，老少咸宜；他所論述的主題，大都具有時...详情

经典好书《JavaScript面向对象精要》读书内容简介:的是帮助那些已经熟知面向对象编程的读者掌握这些概念是如何在JavaScript中工作的。本书内容简洁而精妙。全书共6章，分别深入探讨了原始类型和引用类型、函数、对象、构造函数和原型对象、继承和对象模式等主题和特性。在本书中，你将学到Ja...详情