孙航，胡灵博，于联锋等编著2008 年出版492 页ISBN：9787121070082
本书以应用和系统设计为基调，结合大量的设计范例，全面细致地介绍ISE10.1设计工具以及辅助工具的使用；新一代的Spartan-3E、Spartan-3A/3AN和Virtex-5器件的特性。结合EDK嵌入式设计工具，详细地介绍MicroBlaze 3...
（美）John M.Yarbrough著2002 年出版698 页ISBN：711110837X
本书系统地介绍了数字电路设计与分析的基础知识，内容全面，实用性强。首先从数字电路、数制系统等基本概念入手；然后论述组合逻辑、时序电路的分析与设计以及异步时序电路；最后讨论了数字开关电路。书中提供的数...
聂晶著2018 年出版195 页ISBN：9787568127400
云计算正在成为一种通用的计算技术，它将深刻地改变地球科学应用的传统方法和模式，解决21世纪地球科学面临的诸多挑战。《云计算与虚拟化技术应用的综合分析》结合云计算最新技术趋势，从各个方面对云计算分析，并...
谢晓尧著2008 年出版146 页ISBN：7030200322
本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
龚晓雪著2017 年出版274 页ISBN：9787517051688
本书从揭示视觉传达的概念、内涵和设计规律出发，结合思维学与美学理论撰写了此书，旨在对视觉传达设计的造型和创意做技术理论构架，以设计造型为目的，解决设计中的浅层化、平庸化表现问题。本书内容主要包括：视觉...
（美）沃尔顿著2010 年出版400 页ISBN：9787562036364
本书通过探讨推理理论的最新发展，就法律推理结构提出了新的观点，即推理被看做是一种试验性会话辩论式。
