程序设计语言理论基础 书籍
经典好书《程序设计语言理论基础》读书内容简介:法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据...详情
公共建筑设计原理 书籍
经典好书《公共建筑设计原理》读书内容简介:足建筑学专业教材的新需求,本书是在第二版的基础上,即从公共建筑设计的总体环境布局、功能关系特性、建筑造型艺术、技术经济问题、空间综合分析等五个方面进行修订。另外,对原来的“实录”改称为“公共建筑实例选编”,除增加一些新的实例外,并编制了光盘随书发行,...详情
电影理论基础 书籍
经典好书《电影理论基础》读书内容简介:>学术兼职中国电影家协会会员中国电影家协会理论评论工作委员会委员中国电视艺术家协会会员中国高等院校电影电视学会理事中国人民大学书报资料中心复印报刊资料《影视艺术》学术委员</...详情
系统设计的一般原理 书籍
经典好书《系统设计的一般原理》读书内容简介:结晶,针对那些无法通过传统方法解决的系统问题,为我们介绍了分析与理解这类问题的新观点和新方法。 这是一本有关一般系统的思想与如何有效思考的著作,对各个学科领域,都有广泛的适用性,不仅仅是关于计算机的系统,还包括各种系统--人类、自然、科技。它提供了许...详情
金字塔原理2 书籍
经典好书《金字塔原理2》读书内容简介:理》的配套训练手册,芭芭拉·明托在书中提供了大量的范例和习题,带领你实际演练各种逻辑思考技术,帮助你强化思考架构能力,提升逻辑沟通效果:为什么金字塔是建构逻辑的最理想结构?金字塔原理如何帮助你找出思想之间的纵向关系?如何把不同的思想横向联系起来?序言...详情
宪法审查的原理与技术 书籍
经典好书《宪法审查的原理与技术》读书内容简介:一语,相当于现下国内学术界日渐通用的“违宪审查”之谓,指的就是宪法上被授权或认可的特定机关,按照所定的法律程序,根据相关的宪法规范(即通过宪法解释,就相关的宪法条文的内在意涵进行进一步的阐明所形成的解释命题),而对已然形成又或即将形成、特别是某项因为...详情
国际政治的社会理论 书籍
经典好书《国际政治的社会理论》读书内容简介:社会理论,《国际政治的社会理论》发展了一套将国际体系视为社会建构的理论。亚历山大·温特阐明了建构主义方法的中心主张,提出了结构的和理念的世界观,与构成多数国际关系主流理论基础的个体主义和物质主义截然对立。他建立了国际政治的文化理论,将国家视彼此为敌人...详情
经典好书《Windows内核原理与实现》读书内容简介:ows如何实现现代操作系统的各个关键部件,包括进程、线程、物理内存和虚拟内存的管理,Windows中的同步和并发性支持,以及Windows的I/O模型。在介绍这些关键部件时,本书直接以Windows的源代码(WRK, Windows Research...详情