程序设计语言理论基础
米切尔
评分 暂无
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适
中央 飘（上下）
评分 9.0分
《名家名译•飘(套装上下册)》是一部有关战争的小说，以19世纪60年代美国南北战争和战后重建时期为背景，但作者玛格丽特没有把着眼点放在战场上。她以女主人公斯佳丽的爱情故事为主线，描写了美国庄园主女儿斯佳丽的坎坷命运。小说塑造了顽强、勇敢而又自私、浅薄的斯佳丽和精明、世故的商人瑞特这两个深入人心的形象。小说是“献给南方的一曲挽歌”，表现了战争前后美国南方社会的方方面面。《名家名译•飘(套装上下
ASP.NET 2.0入门经典
ASP.NET 2.0在1.0版的基础上做了很多改进，用它可以更容易地创建数据驱动的网站。《ASP.NET2.0入门经典》通过简明的语言和详细的步骤，以循序渐进的方式帮助读者迅速掌握使用ASP.NET 2.0开发网站所需的基本知识。全书共分5个部分，共24章。第一部分介绍了ASP.NET 2.0及其编程模型，Visual Web Developer 2005速成版，ASP.NET网页的设计、
细胞在工作
《丛书》共14册，涵盖14个主题，每个主题下的4个相关小话题围绕着关键概念，按阅读和写作的易难程度，循序渐进地依次编排。《从书》的“关键概念+递进阅读+任务型写作”的创新编排体例，帮助学生从培养语感和思维方式开始，在阅读过程中自然习得英语写作的规律和特点，从根本上提高学生的综合语言应用能力。此外，《丛书》紧贴高中英语教学的实际需要，在针对性的应用性方面有着无可比拟的优势： <p
《细胞在工作》以生动浅显的语言和活泼有趣的科学图解介绍了皮肤细胞、肌肉细胞、血液细胞和骨骼四种不同种类的细胞在人体里工作的情况。。全书围绕三个关键概念，描绘了各类细胞的结构和功能，探讨了正常细胞是怎样行使自己的职能，保障人本的正常工作的。学生们可以运用书中的关键词汇和思考题来展开讨论，以检测对主题的理解程度。同时，本书特有的“关键概念+递进阅读+任务型写作”的编排形式，能有效地帮助学生通过学
资源与环境管理
本书揭示了自然资源与环境管理实践中的紧迫问题，阐述了一系列处理这这些问题的基本概念和理论，并介绍了应用这些理论解决实际问题的相关案例，作者认为，资源和环境管理实质上更是对利用资源和环境的各色有等的管理，因此，这一领域充满着文化、复杂性、不确定性和冲突然袭击。在对资源生和环境的这些基本性质及其重要意义作了专题论述后，作者系统地考察了对付它们的一系列战略、途径和方法，包括对未来的憧憬，生态系统方
