电路与信号系统实验教程 【工业技术】

本书将电路与信号系统两门课程的实验内容融会贯通，在内容上分为软件介绍、电路篇、信号系统篇、综合篇与附录，软件介绍包括EDA软件Multisim和Altium Designer,电路篇包括八个实验，信号系统篇包括三个实验，综合...

普通高等教育“十二五”规划教材 电力系统概论 第2版 【工业技术】

刑事司法指南 总第53集 【政治法律】

本书为最高人民检察院公诉厅编辑，我社出版的刑事司法业务指导性连续出版物——《刑事司法指南》的总第52集，它针对刑事司法实践中遇到的各类热点、难点问题，进行深入、透彻的分析，提供指导性意见，该稿件较为整齐...

食品工程原理复习指南暨习题解析 【工业技术】

本书是面向食品专业考研学生的专业用书，本书以食品工程原理教学大纲、考研大纲为编写依据，以便帮助考生复习考试，解读大纲，解析习题，提供备考捷径，同时也可做平时教学过程参考用书。...

节日庆典板报墙报指南 【艺术】

黑板报是中小学素质教育的重要形式，也是学生校园生活的重要组成部分。它不仅展示了校园丰富多彩的生活，更是显示新世纪校园精神面貌的窗口。本书收辑了大量实用的校园墙报板报设计，不仅有精美的版面规划，还有丰...

环境犯罪案件实务指南 【政治法律】

环境刑事犯罪现象频繁发生，公安机关因不掌握环境监测的技术手段又难以独自取证，于是造成部分环境犯罪案件难以立案。本书力图把环保部门的监测技术和公安机关的侦查手段结合起来，以便使更多的环境犯罪案件能够...

元青花鉴识指南 【历史地理】

本书采用了大量真切、清晰的大幅实物图片，图文并茂地对“至正型元青花（样本）”进行了详细赏析。文中不仅对元青花器物的整体形制和图案纹饰进行了艺术鉴赏，更对图案纹饰、进口青花料显色特征、当时制瓷工艺、制...

电力系统优化数学模型和计算方法 【工业技术】

本书针对电力系统运行、规划与控制中的一些实际问题，本书对科学研究和工程实践中的一些数学模型及数学方法进行了总结，这些模型可以归纳为非线性、线性以及随机模型等，优化方法涉及传统优化、随机优化和动态优...

计算机应用基础：WINDOWS 7操作系统 【工业技术】

本书是计算机基本知识，Windows7基本操作，文件及文件管理，个性化工作环境，Windows7常用附件，网络应用基础，相关实训操作等。

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...