大约有100,000项符合查询结果项。（搜索耗时：0.0459秒）
为您推荐： 最高人民法院审判管理办公室 测绘工程项目管理的方法与实践 大数据背景下的企业管理创新与实践 中国特色新型工业化的实践与探索 最高人民法院行政审判庭 研究生培养模式创新的理论与实践研究
-
51系列单片机系统设计与实践
陈志旺编著2010 年出版318 页ISBN：9787121100468本书结合单片机教学开发板的制作，系统地介绍了电子产品的制作方法和技巧，主要内容包括常用元器件及工具仪器、原理图和PCB图的绘制要点、电子产品焊接技术、单片机系统调试、单片机软件编程、开发板的示例程...
-
为城市而设计 城市设计的十二条认知及其实践
杨一帆著2016 年出版295 页ISBN：9787112182909本书把笔者认为最重要的内容归结于十二条要点，按照城市认知和城市设计工作的层次和逻辑，逐一叙述。本书内容涉及城市设计愿景、城市与区域、城乡关系、城市密度、秩序、特色、公共领域、城市演变、城市设计的...
-
-
建筑弱电系统与工程实践
张少军，夏东培编著2014 年出版375 页ISBN：9787512349285本书详细地展开叙述了建筑弱电系统中主要的一些子系统，同时对建筑弱电技术的基本理论、实际工程方面很多实用的知识技能做了较为深入地讲解，理论与工程实践密切结合。全书共分14章，包括建筑弱电系统与工程基础...
-
迈向新世纪的高校电力科技-1999全国高校电力系统及其自动化专业学术论文集
陈允平，丁坚勇，向铁元，张承学主编1999 年出版1401 页ISBN：7535220509国家“九五”重点图书出版规划项目。
-
嵌入式系统原理 应用与实践教程
孟利民，宋秀兰，徐志江，彭宏，应颂翔编2016 年出版337 页ISBN：730241016X本书主要内容包括嵌入式系统概述，嵌入式处理器概述，基于ARM的嵌入式实验教学系统，ARM指令及开发环境，linux使用，linux系统开发环境，linux环境驱动程序开发，linux应用程序开发等。教材将嵌入系统理论知识与实际的应...
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
嵌入式系统设计与实践 LINUX篇
刘加海，厉晓华主编；胡珺，鲍福良副主编2016 年出版474 页ISBN：9787308157759嵌入式概述、嵌入式Linux操作系统的基本操作、嵌入式Linux开发环境（硬件环境与软件环境）、嵌入式文件IO程序设计、嵌入式进程程序设计、嵌入式线程程序设计、嵌入式网络程序设计、嵌入式图形程序设计、嵌入式...
-
-
ATP-EMTP及其在电力系统中的应用
李云阁主编2016 年出版409 页ISBN：9787512393271本书为研究生教材。全书共分为9章，主要内容包括电磁暂态计算程序，图形界面综合平台，电力系统电磁暂态数值计算原理，电力系统电磁暂态计算中设备及装置的模型，算例I：模型建立，算例II：稳态计算，算例III：暂时过......