金属一氧化物一半导体场效应晶体管电路设计

硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

双车道公路线形安全与附加车道设计方法

本书以双车道公路线形安全问题为主线，注重与实践相结合，在对双车道公路线形与交通特征介绍的基础上，将重点研究双车道公路线形要素及连续性与行车安全、双车道公路超车行为安全评价、双车道公路附加车道设置条...

汽车结构轻量化设计与分析方法

本书一共8章，前6章均以现代汽车结构轻量化为目标，系统的介绍了相关基础理论、设计方法和轻量化途径，再结合大量的工程实例，阐述轻量化车身的结构强度刚度、碰撞安全性、NVH特性及底盘零部件方面等力学性能的分...

城市中心区规划设计理论与方法

中心区是城市最核心空间，也是城市规划学科研究的重点方向，集中体现了我国经济高速增长下城市服务产业和空间结构的发展。从体系构成、空间形态、系统规划多方面出发，探讨城市中心区的发展，剖析空间结构规律，从而...

女孩成长全书 女孩要有好成绩 让女孩学习更高效的方法和技巧

对于女孩来说，学习对她们很重要，只有学好知识，才能掌握更多的技能，在以后才能有更好的发展，取得更好的成绩。本书从学习习惯、时间规划、学习兴趣、教授一些方法和技巧，让女孩能够掌握更高效、更实用的学习方法.....

高速铁路信号与通信

本书共分十二章，主要包括绪论、列车运行控制系统、调度集中系统、计算机联锁系统、集中监测系统、高速铁路信号系统集成、传输系统、数据网系统、移动通信系统、FAS系统、综合视频监控系统，以及会议电视系统...

dBASEⅢ程序设计技巧集锦

dos批处理文件设计技巧

数字逻辑电路设计

本书共分为9章，基础理论部分深入浅出，简要、透彻，数字逻辑电路的分析与设计部分注重实践性，常用集成芯片的选型考虑实用性。书中备有大量例题和习题，部分章后附带实验内容，最后一章给出数字系统设计案例。本教......