硬件设计验证 基于模拟与形式的方法 【工业技术】

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

数据结构和编程设计 应用C语言 英文 【工业技术】

该书是一本经典的C语言版数据结构和程序设计的大学教材，已经在全球多个国家的大学成为数据结构课程的基础教材。该书使用C语言作为实现语言，按照软件工程的设计思想，给出了如何进行数据结构设计和程序的开发，较...

电路及单片机设计仿真理论与探索 【工业技术】

人工智能基本方法及程序设计 【工业技术】

本书主要介绍人工智能主要常用的基本方法及相应方法的VC++6.0程序设计。常用方法主要包括状态图搜索、树式状态图搜索、加权状态图搜索、博奕树搜索、基本遗传算法等。每个方法都以相关的应用实例进行程序...

2013全国房地产估价师执业资格考试真题考点全面突破 房地产估价理论与方法 【经济】

本书是“全国房地产估价师执业资格考试真题考点全面突破”系列丛书之一。本书对房地产估价理论与方法历年真题做详细的分析，总结出历年考试的出题规律，让考生全面了解出题意图；根据历年考试的出题规律有针对性...

女装结构设计 上 【工业技术】

本书是《普通高等教育“十一五”国家级规划教材——服装工程技术类精品教程》系列教材丛书之一，是以“十五”国家级规划教材《服装结构设计》为基础，针对当前服装工程专业高等教育的要求和任务，认真总结近年来...

建筑结构设计问答及分析 第2版 【工业技术】

《建筑结构设计新规范综合应用手册》（第二版）、《建筑结构设计规范应用图解手册》、《建筑地基基础设计方法及实例分析》、《建筑抗震设计规范应用与分析》、《高层建筑混凝土结构技术规程应用与分析》的相继...

钢筋混凝土结构设计用表 第2版 【工业技术】

本书根据国家最新颁布的设计规范和规程等编制。在本书中，可以很方便地查到具体化了的规范的有关规定，如受拉钢筋在各种直径时的锚固和搭接长度、各种构件的最小最大配筋率、柱及剪力墙边缘构件的最小配箍率、...

景观设计细部图示 6 铺地结构 驳岸 道牙 栏杆 花钵 排水 台阶 隐形消防车道 泳池 【工业技术】

本书为系列丛书，共有六本，收集了泛亚国际成立30年来的经典项目的施工图纸，书中内容涉及景观工程的各个细部，包括水景、铺装、岗亭、景墙等景观元素的详图，并配以专业的规范、标准详解，融合专业性、学术性与知识.....

中国税收结构评价及优化 基于经济增长理论的研究 【经济】

本书以税收结构对经济增长的影响为出发点，首先在系统梳理经济增长理论和税收理论基础上，挖掘税收及税收结构与经济增长之间的内在联系，分析税收结构对经济增长的影响变量、影响机制、传导路径和经济增长效应，从...