计算系统的形式语义 上 【工业技术】

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...

楼宇通信网络系统的安装与维护 【工业技术】

本书主要针对楼宇通信网络系统的构建和管理中用到的各种网络技术，以及程控交换机和卫星电视入户分配网相关知识，以任务驱动形式组织内容。其主要内容包括网络系统配置、网络系统测试与故障处理和卫星及有线电...

基于人机交互的知识管理系统 【经济】

语义网技术的发展，使管理海量规模的语义网数据成为巨大挑战。本书介绍了使用人机交互技术，在人机交互的基础上更为有效地进行知识获取、集成和检索，从而更好地构建基于人机交互的知识管理系统。主要内容有三部...

高效沟通 如何赢得他人的支持 【社会科学】

教育思想的演进 法国中等教育的形成与发展讲稿 【文化科学教育体育】

大学生心理健康教育研究 【文化科学教育体育】

本书共分8章：第一章导论；第二章大学生自我意识和大学生人格完善；第三章大学生情绪管理；第四章大学生学习心理；第五章大学生人际交往心理；第六章大学生爱情心理；第七章大学生压力管理与挫折应对；第八章大学生......

拉美私立高等教育发展研究 以巴西、墨西哥、阿根廷和智利为个案 【文化科学教育体育】

本书对巴西、墨西哥、阿根廷和智利私立高等教育发展模式进行了比较分析和归纳，基本证实了国家主导型高等教育系统对私立高等教育发展态度的共同点——政府都会经历从“排斥”到“不得已接受”再到“接受乃至...

江苏省研究生教育质量度报告 2017版 【文化科学教育体育】

本书以江苏省研究生教育质量与质量保障体系为研究对象，主要内容分概况篇、质量篇和案例篇三部分。概况篇在回顾“十二五”期间江苏省研究生教育基本情况等基础上，重点描述2016年江苏省学科建设概况、学位发展...

嵌入式系统 基于项目的分析和设计 【工业技术】

全书通过6个典型项目，基本涵盖了ARM的全部硬件和接口、体系结构、相关寄存器和指令系统。以“工程化”为主线，每个项目均按照“任务描述”、“任务分析”、“任务基础”、“任务设计与实现”的逻辑思路编写，图...

社会认同的逻辑 集体行动的理性与感性之争 【政治法律】