（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
赵科，鞠艳杰编著2019 年出版232 页ISBN：9787121357138
本书基本上以语言为基础，循序渐进设计数字电路，并最终完成复杂数字系统，最终通过本书的学习可以独立进行FPGA设计，完成数字系统设计。书中讲解项目设计时，任务明确、条理清晰、结构规范、系统性强，并对硬件电路.....
杨军，余江，赵征鹏著2012 年出版216 页ISBN：9787121168833
本书简要概述了密码学和硬件密码学知识，简要介绍Quartus II、ModelSim、Nios II IDE 等基本软件工具的操作应用（包括嵌入式系统的硬件配置、硬件设计、硬件仿真、软件设计以及软件调试等）；着重分析和讲解了基于...
金璐钰，赵明生，崔丹主编；王莉，刘鹏副主编2013 年出版276 页ISBN：9787302326236
本书采用flash简体中文版本，结合其他常用的多媒体制作软件，精心设计了大量的日常生活和教学中典型的flash课件范例，课件分类详尽、科学、实用。全书共分为10章，主要讲解了静态图形图像演示课件、利用动画技术制...
引人入胜InstallShield 6.X/VB/VC/Delphi安装程序设计与制作
张君，周洁等编著2001 年出版478 页ISBN：7900056394
吕嘉璐，区静，叶志鹏主编2014 年出版86 页ISBN：9787313113221
职业教育建筑设计系列为了严格落实建设工程各方主体责任，加强施工图设计与制作的质量，现根据监理参考资料内容和公司实际情况编制监理记录提要，认真进行实施，并逐步修改完善。读者对象为中高职建筑设计专业学生...
武新华主编2011 年出版331 页ISBN：9787514200966
本书介绍了AutoCAD 2010在建筑绘图应用上的基础知识与技巧，内容包括AutoCAD建筑绘图基础、建筑图样中的基本组成元素、对象捕捉和对象追踪功能、绘制复杂的对象、面域与图案填充、创建并编辑尺寸标注、AutoC...
老虎工作室，张亚先，艾萍编著2018 年出版303 页ISBN：9787115456564
本书结合大量的典型实例，全面介绍了CorelDRAW X6的基本操作方法和应用技巧，共分为8章，主要内容包括CorelDRAW X6预备知识，CorelDRAW X6基本操作，图形绘制与编辑工具，图形填充、轮廓工具，【文本】工具，对象的其他操...
张琲编著2005 年出版140 页ISBN：7112072239
在科学技术迅猛发展的今天，国际化的市场竞争愈趋激烈的现代，产品创新是一切企业活动的核心和出发点，是企业赖以生存和发展的基础。今天的产品创新所面临的问题更加复杂化、系统化，设计是不能靠设计师的灵感闪现...
田景文，高美娟编著2013 年出版237 页ISBN：9787302311973
本书介绍了是当前物联网领域的最新技术进展——物联网智能IP互联技术，针对当前物联网领域各种异构网络互存带来的联网困难和协议转换成本高昂的现状，提出和基于IPv6标准实现物联网中各种异构网络互联的体系结...
