Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results.This monograph， a revised version of the author's habilitation thesis， focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered， it combines techniques from different areas such as linear algebra， computable ring theory， abstract interpretation， program verification， complexity theory， etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study.After a general overview， the monograph consists of three essentially self-contained parts that can be read independently of each other. These parts study： a hierarchy of constants in sequential programs， inherent limits of flow analysis of parallel programs， and how to overcome these limits by abandoning a classic atomic execution assumption.

本书首先介绍了*事件和概率，接着介绍了*变量及其概率分布、*变量的联合概率分布、*变量的数字特征、大数定律和中心极限定理等内容。

本书是普通高等教育“十一五”*规划教材。版是按工科院校概率论与数理统计课程第Ⅱ类（概率少、统计多）教学基本要求编写的，第二版参照*修订的概率论与数理统计课程教学基本要求进 行修订，但仍保留了“概率少、统计多”的特色。前4章是概率论的基本内容，为数理统计准备必要的理论基础；后5章在概率论基础上侧重分析介绍如何用统计方法分析、解决带有*性的实际问题。两部分内容配合紧密。每章末的综合例题是全面运用该章理论与方法解决问题的范例。全书讲解清楚，文字通顺；内容安排重点突出，难点分散，由浅入深，便于接受；对于用统计方法对*变量的概率特征作出科学推断的基本思想、推断方法，分析透彻，归纳总结方法条理清楚。本书可作为工科院校本科各专业的教材或教学参考书。

由于成人高等教育专科起点升本科近年来发展迅速。2007年*重新颁布了《全国各类成人高等学校招生考试大纲——专科起点升本科》。本书编写组积多年对各次考试大纲的研究，对历年来试题的分析，研究成人高等学校专升本数学考试题几年来的变化特点，及十多年来的试题类型及考试的知识点，并结合多年来辅导专升本的教学经验并根据新大纲要求，对本书进行了重新修订，使其更利于考生复习、备考。此书具有以下特点：1.紧扣2007年专升本《考试大纲》的基本要求。2.符合成人考生的特点与需求，符合考试需求。本书易懂、易理解、易掌握。体现在突出基本概念与基本性质的特点，突出将基本方法条理化、强调公式的结构形式以使其“结构化”。3.对历年试题按各章的知识点进行分类归纳。使考生能够明确考试中常见的题型，明确考试中的知识点，从而使考生能更有针对性地复习。书中选配了大量的例题，且针对历年来试题的题型。例题中加以详尽的分析，侧重于问题的形式特点及解题思想方法。全书中避开了复杂运算与高难度的技巧性运算，使本书更贴近考试实际，更利于考生备考。高等数学（二）适用于：经济学、管理学以及职业教育类、生物科学类、地理科学类、环境科学类、心理学类、药学类（除中药学类外）六个一级学科的考生。相信此书能帮助读者避免走弯路，取得事半功倍的成效，伴你走向成功。

本书紧扣*2006年《考试大纲》要求，针对成人专科升本科《高等数学（一）》（适用于工学、理学专业）的考生，各章中都分为“基本要求”“基本知识”“基本例题分析”“练习题及参考解答”“历年试题分析”等几个模块。全书突出基本概念、基本性质和基本方法的“结构化”“条理化”，以适应成人考生特点，全书中“基本例题”的分析详尽，侧重于解题思想方法，题型选取更有针对性，贴近考试形式，有助于提高考生解题能力。“历年试题分析”对历年各章的试题加以分类、归纳分析，有助于考生明确考试的知识点，从而能更有针对性地复习备考。

作者根据国际上多种著名数学书籍，经过认真的对比、分析、研究，指出我国高等数学教材中的一些常见瑕疵或不妥之处，并且对每个指出的问题提出具体的修改意见。全书通过摆事实、讲道理，阐述了作者的见解，供学习高等数学课程的本科生、大专生及高等数学教师参考，对提高数学质量必能起到积极的作用。

本书的主要内容包括一元微积分、多元微积分、级数和微分方程的典型例题和习题共千余题。对每道题都作了精辟的分析和详尽的解答。在每章的后附有一套自我检查题，供读者检测自身水平之用。本书内容精炼、论述清晰，选题难易兼顾，分析详略得当，讲解深入浅出。可作为本科生学习高等数学和准备学期考试的参考书，也可作为参加硕士研究生入学考试的辅助读物。本书也可作为大专院校数学教师的参考书。

为了帮助考生应考，以便取得好成绩，升入本科实现自己的理想。我们编制了10套模拟考试练习题。通过这10套模拟考试练习，我们期望达到三个目的：1.帮助考生提升复习的全面性与深度，使之能有效地复习备考。2.有助于考生找出复习中的薄弱环节，以便能更有针对性地细化与深入复习。3.提高考生的备战能力。为了使考生对考试有宏观的了解，对考试各章内容要求的深度与广度达到心中有数，我们将历年试题加以分类，并简明分析。

暂缺简介...

曹圣山编著的《高等数学同步辅导与习题全解（ 同济第6版上下册合订）》是同济大学数学系编写的《 高等数学》（第六版）的配套用书，力求阐明重点， 突出解题过程的思路和方法，将每一位教师多年的教 学经验与体会渗透到各章的内容之中，可为学习高等 数学的工科和其他非数学类专业学生以及复习高等数 学准备报考硕士研究生的人员提供解题指导，也可供 讲授《高等数学》的教师在备课时参考使用。