面向对象软件的形式验证技术

本书收录了2007年上海大学博士学位论文57篇，通过公开出版，使论文作为公共知识，转化成社会财富。产生社会影响。

回顾与展望 形式政策专题分析

本书是由黑龙江大学宣传部主持和编写的校内使用的两课教材，该教材包括七章、十八节，内容涵盖了今年我国社会发生的各个热点事件，是学生进行思想政治教育的重要教材。...

词语与世界：社会学分析形式的探索

本书主要研究探讨科学词语以及科学解释的问题。作为书中探讨的重点，作者较深入地探讨了科学中的重点和创新问题。

09考研形式与政策全集暨相关分析题预测 精萃版

本书为了帮助考生掌握2009年政治理论考试大纲规定的“形势与政策”的内容，特编写此书。本书共有五大篇：“政策篇”对应大纲的（一），“形势篇”对应大纲的（二），“专题篇”对应大纲的（三）。“测试篇”按照三大......

古典文献研究辑刊 四编 第29册 《列仙、神仙、洞仙》三仙传之叙述形式与主题分析

校园安全故事分析与预防教师读本

校园安全事故分析与预防：教师读本

本书主要讲述未成年人安全管理的主要内容，学校安全事故的预防与处理，安全教育的实施及安全典型案例分析。

中国法逻辑结构分析 以微观结构图的形式

本书选取中图法中篇幅站绝大多数比例、有代表性的类目结构片段一百九十多个，用图表的形式剖析中图法微观类目结构，使类目片段微观结构的多样性与复杂性变得简单明了，对相关人员了解、理清每个类目片面段中类目...

大学生安全教育读本 案例与分析

本书内容包括防不法侵害；防心理障碍；防火灾事故；防交通事故；防食物中毒和传染疾病；防灾害事故；防危害国家安全行为；防网络侵害；防盗 防抢；防诈骗以及学生人身伤害事故处理。...

幼儿素质教育课程资源整合研究理论假设与实践验证

本书是全国教育科学“十五”规划教育部重点课题的一项，本专集的理论研究成果展示了课题研究形成与发展的实践过程。共分两部分。