《软件开发的形式化方法》对软件开发中的形式化方法进行了介绍和讨论，内容涵盖了SE2004中关于"软件的形式化方法"的知识点，主要包括：有限状态机、Statecharts、Petri网、通信顺序进程、通信系统演算、一阶逻辑、程序正确性证明、时态逻辑、模型检验、Z、VDM、Larch等。形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。《软件开发的形式化方法》可作为计算机、软件工程等专业高年级本科声或研究生的教学用书，也可供相关领域的研究人员和工程技术人员参考。

暂缺简介...

本书是在《2005年考研政治理论复习导本》的基础上根据2006年全国硕士研究生入学统一考试的《政治理论考试大纲》修订而成的。此次修订，除了对部分内容、知识点作了增减、调整，以及某些例题的更新外，主要强化了以下两个方面：第一，力求全面贯彻党的十六大精神、党的十六届三中全会精神，使这两次会议的精神、“三个代表”重要思想的内容和观点，在政治理论各门课程的相关内容、相关知识点中，以及在“实战操作练习”中得到全面贯彻、体现。第二，按照《政治理论考试大纲》的要求，在《导本》的“实战操作练习”中，适当增加了辨析题和分析题的分量，加强了对考生理论联系实际、学以致用的辅导，以提高考生善于运用理论观察、分析和解决实际问题的能力。《导本》对每一门课程的辅导，由三大部分构成：第一，“理论复习指导”部分，下设基本内容

写作之所以难，是因为它不仅要求考生从宏观上把握好文章的结构布局，而且要求考生从微观上把握句式的变化和词汇的正确使用。英语写作是一种高级思维过程，它代表着一个英语学习者最高的语言水平和思想水平。面对一道作文题，考生往往要么无话可言，无从下笔；要么想法很多，材料一大堆，却理不出头绪，不知从何说起。写的过程，既要保证结构层次清楚，内容切题，又要做到语言规范，句式多变，用词准确，还要字数达标。在短短的时间内做到这一切，实属不易。本书的目的也就是要帮助广大考生一解千愁。概括起来，本书有以下几方面的特点：一、灵活的“积木式”作文模式所谓“积木式”写作思维，是把写作文看作是像用积木搭建房子一样，把组成篇章的段落看作是建造房子的材料—积木。搭建房子（写作文）首先要弄清楚房子的布局（作文的结构布局），然后再选用适合的积木材料（组成篇章的段落）。积木（即段落模版）是固定的，房子的搭建则是灵活的，这是王长喜十二句作文法最大的特点。很多考生在写作时既不从整体布局上思考作文的构架，也不列提纲，想到一句就写上一句，刚写几句就无法再写下去了，这当然是写不出好作文的。这本书就是要帮助学生正确把握作文的整体布局和结构，并提供能够穷尽各类考研作文的段落模板，让考生学会一种全新的写作思维方式。二、恒定的“三段式”文章结构任何作文都应包括开头、主体和结尾三个部分。开头部分可以描述信息，揭示问题或寓意，说明现象，表达主题，起着“纲举目张”的作用；主体部分可以解释原因，举例说明，说明结果，分析优势，对比异同，是说明问题的主要部分；结尾部分则可以提出解决方案，表达个人观点、态度及建议，对全文的内容进行概括总结，是使作文圆满的关键部分。三、清晰的“四句式”段落组织三个段落各自形成完整的段落，相互衔接，相互补足，形成一个有机的整体。其中的每一个段落又要有其段落主题句，拓展句（2-3句）和段落总结句，共由4句组成，这样就形成“十二句作文法”的完整结构模式。本书选取了1994年到2005年的11道真题。每道真题套用了不同的段落模板组合，给出了优秀的范文，同时通过范文点评引导考生循序渐进掌握写作程序，潜移默化地熟悉模板，消化模板，并能熟悉套用模板。为帮助学生把握考研作文的规律和趋势，进一步强化正确选用段落模板的能力，本书设置了40道短文预测题，二十五道应用文预测题，考生务必按照考试的实际要求，认真完成。这样考生可以在实践中真正体会到考研十二句作文法的实用性。

本书由考研命题教授编写。本书去年版本命中部分试题；还有部分题材和内容，和考题极为相近。该书既适合考生在第一阶段全面熟悉掌握阅读理解时使用，也适合考生在中后期巩固提高分数时使用，其强大功能表现在：1．题材丰富。本书所有的阅读文章均选自最新报纸、杂志、书籍，包括社会生活、科普、史地、政治、经济、人物传记，符合大纲规定题材范围；和考研的题材完全一样。2．解析详细。本书每篇阅读文章均与考研大纲的要求字数——每篇400词左右保持一致，设题方式与考研真题完全一致，且解析详细。3．时间限定。每篇文章均规定有固定的答题时间。经过此种训练之后，能使您在考场上从容应对。开本 16印张 33 字数 800千字页数 518

本书介绍高等量子论的基本理论和量子多体理论的基本理论方法，包括量子力学的理论结构，量子力学与经典力学的对应关系，对称性理论和守恒定律，量子多体理论中的平均场理论及其主要应用，二次量子化表象，密度矩阵和格林函数等非微扰理论方法，处理碰撞、散射和反应问题的理论方法，相对论性量子力学，量子力学的积分形式与路径积分，量子力学中的几何相应，非自治系统量子力学和人造量子系统的理论处理等内容，其中包含了作者多年的研究成果和对量子论问题长期探索所得的观点。本书强调物理概念和原理阐述的清晰度及其数学表述的简洁性，在内容深度上适合于物理学博士研究生和高年级硕士生，尽可能为物理学研究生阅读专业文献和从事物理学理论研究提供必要的高等量子论和量子多体理论基础，力图在量子论学习和微观物理学研究之间架设一座桥梁。本书的内容兼顾来自理论物理、粒子物理与核物理、凝聚态物理、量子光学等专业研究生的需要，也可供从事物理学研究的科技人员参考。

2005北京市国家公务员录用考试教材据《北京市2005年录用国家公务员公共科目考试大纲》编写。本书分行政职业能力测验概述、数量关系、判断推理、常识判断、言语理解与表达测验、资料分析等六章。

本教程已连续出版十二年，受到同行专家及考生的肯定，适合报考硕士研究生的考生作为第一轮和第二轮考研指导教材，也适合教师作为教学参考用书。.本书在修订中首次创意使用基础加题型及纵横结合、点面并行的科学学习方法，把每章节的核心考试题型提炼出来，自成体系几乎涵盖全部考研题型；另列出“题型索引”供考生查阅，使此书具有辅导及题型工具书的两重功效。...

本套教材着眼于考试录用制度的长远建设，立足于当前考录工作的实际，以国家行政机关对公务员的知识、能力素质要求为依据，具有知识面宽、重点突出、内容精炼等特点。教材在编写上遵循了以下原则：一是突出应用性，在适当照顾各学科本身理论性和系统性的同时，突出其应用性，在原理的运用和分析上尽量联系国家行政机关的实际，提高应试者相关的运用知识分析、解决实际问题的能力；二是取舍得当，针对性强。对各学科所涉及的内容进行合理取舍，取其精华，突出重点、要点，加强针对性；三是利于自学。教材充分考虑了考生复习和考试命题的特点，内容浓缩精炼，简明扼要，结构科学、适用。

为了帮助广大考生顺利通过中级财务管理的考试，我们精心编写了这本辅导教程。本书内容全面、凝练，重点突出，由四大部分组成：命题规律总结及应试技巧分析、同步辅导及强化训练、跨章节综合演练和全真模拟测试题及参考答案。本书第一部分对2002年、2003年、2004年的考试命题规律进行了科学的总结和分析；第二部分严格按照 2005年最新考试指定教材的框架和体系编写，与教材章节完全同步，对考试大纲所规定的考点进行了总结性的讲解；第三部分专门为考生精心编写了t跨章节综合题；第四部分为考生准备了两套题型、题量、难易程度均与实际考试相仿的综合性全真模拟测试题。 相信考生通过本书的复习，能够掌握重点、难点和疑点，把握答题技巧及命题规律，在考试中赢得好成绩。 本书适用对象：参加2005年中级财务管理考试的广大考生。