C语言程序设计教程

本书是基于Visual C的程序设计教程，包括： C语言概述，程序设计的算法描述，数据类型、运算符及表达式，C语言程序设计基础，选择结构、循环控制，数组与函数，指针，结构体与共用体，位运算，预处理与文件以及C＋＋及面......

软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

企业信息化水平的系统动力理论

本书运用系统动力学的方法，在分析企业IT应用水平提升的各种影响因素作用的基础上，构建了系统动力学模型，模拟出企业IT应用水平提升过程中4种典型的发展路径，并从微观角度解释和修正了Nolan的IT发展阶段模型和世...

群体性事件 信息传播与政府应对

近年来，群体性事件已成为影响社会稳定的突出问题。如何积极应对、处置与预防群体性事件？这是新闻媒体与各级政府最为迫切的问题。本书深刻分析了发泄型群体性事件、目标型群体性事件和网络群体性事件的信息传...

医疗卫生行业信息安全等级保护实施指南

本书首先详细分析了医疗卫生行业的现状和安全需求；然后对我国的信息安全等级保护制度进行了介绍，包括其提出、发展现状和等级保护的体系；第3章引入了体系化管理方法，阐述了信息安全等级保护工作的体系化需求以...

现代语言学理论与外语多媒体教学

本书旨在研究以现代语言学理论（如符语用学号学、认知语言学、心理语言学等理论）为学科理论，指导外语多媒体课件的优化设计，为提高教育技术条件下的外语教学质量服务。对外语研究人员和教育工作者有较好的借鉴参...

C语言程序设计习题解答与实验指导

本书能让读者进一步熟悉和掌握C语言的基本语法规则、程序结构、编程思路及解题过程，得到程序设计基本方法和技巧的训练，同时加深和巩固对所学知识及方法的理解，发现学习中存在的错误认识，从而培养分析问题、解...

古典文献研究辑刊 11编 第17册 楚帛书文字析议 上

古典文献研究辑刊 11编 第18册 楚帛书文字析议 下

信息技术价值观研究

本书是一本从教育的视角研究具体技术哲学的专著，全书约15万字，共五章内容，第一章分析了价值、价值观和技术价值观，为整个研究奠定了理论基础；第二章分析了信息技术价值观的概念、特点、形成过程和科学信息技术价...