硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches 【工业技术】

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

MCSE/MCP模拟试题 Internetworking with Microsoft TCP/IP on Microsoft Windows NT 4.0 【工业技术】

注册岩土工程师专业考试模拟题集 2009 【工业技术】

本书是根据全国注册土木工程师（岩土）专业考试大纲（2007）的要求，按《建筑桩基技术规范》（JGJ94—2008）、《建筑变形测量规程》（JGJ 8-2007），结合考试题类型，以试题模拟形式而编写的。鉴于考试的主导思想和内容，本......

MCSE官方模拟试题 Microsoft Exchange 2000 Server系统管理 【工业技术】

本书是《MCSE官方模拟试题》系列丛书之一。本书及配书光盘帮助您评估对“MCP Exam 70-224：安装、配置和管理Microsoft Exchange 2000 Server”考试的准备情况。本书的组织结构遵循实际考试的测试范围，每一测...

电子技术基础 模拟部分 第4版 【工业技术】

本书分模拟和数字两部分出版。模拟部分包括：绪论（电子系统与信号）、半导体二极管及其基本电路、半导体三极管及放大电路基础、场效应管放大电路、功率放大电路、集成电路运算放大器、反馈放大电路、信号的运算...

全国计算机等级考试考纲考点考题透解与模拟 一级MS Office 2008版 【工业技术】

本书是全国计算机等级考试考纲·考点·考题透解与模拟的一级MS OFFICE科目。

全国计算机等级考试指定教材辅导 一级B应试指导及模拟试题集 2005年版 【工业技术】

本丛书根据2003年考试大纲编写，分等级进行上机操作、应试指导等方面的辅导，并备有模拟试题和试卷，导向性、操作性、指导性强。

全国造价工程师执业资格考试教材解读与实战模拟 建设工程计价 2013 【工业技术】

本书为《全国造价工程师执业资格考试教材解读与实战模拟》丛书之一，本书根据历年考题的命题规律，经过详细分析，将问题按照知识点加以归类，并对教材中各考点的命题采分点作了总结，有针对性地设置习题，供广大考生.....

注册岩土工程师专业考试 案例分析历年考题及模拟题详解 2017年版 【工业技术】

本书根据人力资源和社会保障部、住房和城乡建设部颁布的注册岩土工程师执业资格考试的专业大纲要求，针对专业考试案例分析的命题内容和形式编写而成。...

全国计算机等级考试考点分析、题解与模拟 三级网络技术 【工业技术】

本书严格按照考试大纲要求编写，一方面结合命题规律，对重要考点进行分析讲解，并选取经典考题深入剖析，同时安排了各个章节同步的练习；另一方面，配有全真笔试模拟试题、上机考试试题数套，配合答案讲解将考试所有......