面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

服役工程结构可靠性理论及其应用 【工业技术】

本书是作者从事服役工程结构可靠性理论及其应用研究的总结。本书从结构可靠性理论研究的不同方面，在服役工程结构可靠性的基本原理、计算方法和工程应用等方面进行了较为详尽的论述，并对国内外有关研究进行了...

反垄断理论研究 【政治法律】

信息资源组织与利用 【文化科学教育体育】

本书主要介绍信息及信息资源的基本理论、信息职业和信息人才、信息资源管理及技术基础、信息资源过程管理、信息资源的开发利用以及政府信息资源、网络信息资源的管理与利用等内容。...

现代信息检索与利用 【文化科学教育体育】

本书是高校大学生、研究生的信息检索课程教材。该书系统地介绍了信息、数字信息资源及其检索的基本知识、检索方法与技巧，以及学位论文的开题与写作等。...

20世纪中国史学思潮与变革 【历史地理】

本书分上、中、下三编：上编为20世纪中国史学思潮，将20世纪中国史学思潮概括为20世纪初的新史学、新历史考证学和马克思主义史学三大思潮，共分六章进行论述。中编共四章，从传统史学向现代史学的变革、“社会改造...

刘少奇在建国后的20年 【历史地理】

本书从“为新中国奠基，规划新民主主义蓝图”、“建国后的第一次党内斗争”、“主持中央一线工作”、“‘四清’、‘文化大革命'中的国家主席”等五个方面，讲述了刘少奇在新中国成立后，从作为主抓经济工作的副...

STATA在统计与计量分析中的应用 【经济】

本书旨在介绍STATA在统计与计量分析中的使用方法，并简要介绍了部分经济理论模型的相关概念及其在STATA中的对应命令选项。主要内容包括：STATA简介、矩阵与函数、作图、STATA模型估计、描述统计、方差分析、相...

贺麟文化理论研究 【文化科学教育体育】

成功的人有1%的想法和你不一样 向智者学习48种迈向成功的方法 【哲学宗教】

本书向读者介绍作者的人生智慧法则。编者选择了包括古今中外的各种例子，配合着来说明作者的智慧精神内涵。格言和事例相互说明，让读者更加明确地懂得其中的道理，以达到指导读者生活的目的。...