嵌入式系统导论 【工业技术】

本书以ARM Cortex-M3处理器和STM32微控制器为主体、基于MDK-ARM开发软件和STM32开发板，从开发角度为计算机及相关专业的本专科学生介绍嵌入式计算机系统的工作原理和应用技术，包括嵌入式系统组成、Cortex-M3...

基于Petri网的可重组制造系统建模、调度及控制方法研究 【工业技术】

人民调解工作法律实务丛书 人民调解工作适用法律知识问答 【政治法律】

《人民调解工作法律实务丛书》这套以调解法律与调解实务相结合的读本，共由4本组成，分别是《不同纠纷类型的调解案例与法律应用》、《人民调解工作适用法律知识问答》、《人民调解不同调解方法与技巧的运用》...

物流系统规划与设计 【经济】

本书主要从系统分析与设计的角度，对物流系统从战略分析与需求分析入手，应用复杂系统的建模分析与设计的方法对物流系统的总体结构与功能进行系统化的点、线、面分析，突出物流系统全局总体设计与各个物流子系统...

肌肉骨骼系统超声诊断疑难病例解析 【医药卫生】

主编组织科室的，或多年在一起合作的专家，收集整理曾经收治的、会诊的肌肉骨骼系统超声诊断的疑难或典型病例，收集汇总60例。每个病例内容包括：简要病史资料、超声诊断检查指标、特征，做出诊断或鉴别诊断的经过与...

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

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

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

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

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

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

系统解剖学实训指导 【医药卫生】

本书分十一章，内容包括运动系统、消化系统、呼吸系统、泌尿系统、生殖系统、腹膜、脉管系统、感觉器官、神经系统、内分泌系统。本书可供临床专业本科生、研究生阅读，以及相关专业的学生使用。本书汇集了典型...

光电成像系统 建模、仿真、测试与评估 【数理化】

本书系统介绍光电成像系统全寿命周期研制主要环节：建模、仿真、测试与评估的基本理论与技术，设计全链路光电成像物理效应模型、三维光学场景高真实感仿真、全链路光电成像仿真及应用、系统性能评估理论与遥感...