资深验证专家刘斌（路桑）向您全面介绍芯片验证，从验证的理论，到SystemVerilog语言和UVM验证方法学，再到高级验证项目话题。这本综合性、实用性的验证理论和编程方面的图书，针对芯片验证领域不同级别的验证工程师，给出由浅入深的技术指南：学习验证理论来认识验证流程和标准，学习SystemVerilog语言和UVM方法学来掌握目前主流的动态验证技术，了解高级验证话题在今后遇到相关问题时可以参考。

《D-S证据理论信息建模与应用》以D-S证据理论应用中的关键问题研究为主线，研讨了D-S证据理论领域有关证据生成、冲突处理和决策等方面的经典研究成果，并介绍了不确定环境下基于证据理论的信息融合应用实例。《D-S证据理论信息建模与应用》共7章。第1章综述了证据理论的基本概念、存在的关键问题、研究现状以及主要应用领域等；第2~6章分别针对证据理论在实际应用中所存在的不确定信息建模、证据冲突度量、冲突证据融合、信度决策及计算复杂度等几个关键问题展开研究，并介绍了国内外一些相关的代表性工作。第7章给出了证据理论的两个典型应用案例，分别是故障诊断及多光谱图像弱小目标跟踪，展示了如何应用证据理论来解决实际工程问题。

本书是Windows技术**参考书的*新版本，本书主要介绍了基于Windows 7 and Windows Server 2008 R2的核心技术与底层技术，全面阐释Windows技术机理，是广大Windows开发人员必备的参考书。

本书结合CC2530、ZigBee、STM32和Contiki操作系统等多种技术介绍物联网开发技术，由浅入深地对企业级物联网系统的开发进行了详细的介绍。本书采用项目式开发的学习方法，给出了28个贴近社会和生活的物联网应用案例，每个案例均有完整的开发过程，分别是明确的开发目标、详细的系统设计过程、深入浅出的原理学习、详细的开发内容和完整的开发验证，最后进行总结和拓展，将理论学习和开发实践结合起来。每个案例均给出了完整的开发代码，读者可以在源代码的基础上快速地进行二次开发。

本书旨在帮助正在学习CCNP的读者提高CCNP交换方面的动手技能。全书共6章，主要内容包括交换机基本配置，VLAN、Trunk、VTP与链路汇聚，STP，VLAN间路由，高可用性，交换机的安全。本书的重点是实验，希望能通过实验有效地帮助读者掌握技术原理及其使用场合。本书采用Catalyst 3560 V2作为硬件平台（IOS版本为15.0）。本书适合想要通过CCNP认证考试的网络技术人员，以及那些希望获得实际经验以轻松应付日常工作的专业人员阅读，本书既可以作为思科网络技术学院的实验教材，也可以作为电子和计算机等专业网络集成类课程的教材或者实验指导书，还可以作为相关企业员工的培训教材；同时也是一本不可多得的很有实用价值的技术参考书。

本书系统、全面地介绍了Ad Hoc无线网络的原理、协议与应用，阐释了这一网络系统的工作机制、设计和性能。全书首先介绍了无线网络的基础知识，包括蓝牙、IrDA、HomeRF、WiFi、WiMax、无线网络和移动IP的概念，并在此基础上探讨了Ad Hoc无线网络的MAC层协议、路由协议、多播路由协议和传输协议，进而介绍了服务质量和能量管理系统；其次介绍了多跳无线网络的移动模型和跨层设计问题。为了使读者更好地理解和学习，本书在每章的*后都给出了适当的习题。本书第2版根据前沿技术更新了内容，并新增了对这一领域*新发展的介绍，包括传感器网络、PAN、智能服装和车载Ad Hoc网络。*后，本书介绍了Ad Hoc移动无线网络的当前发展状态及未来面临的机遇和挑战。本书能够帮助对Ad Hoc移动无线网络感兴趣的人士全面了解Ad Hoc无线网络的原理和发展趋势，既可作为无线网络技术专业本科、研究生相关课程的教材，也可作为相关领域工程技术和科研人员的自学参考书。

半导体器件数值模拟计算方法是现代计算数学和工业与应用数学的重要领域。半导体器件数值模拟是用电子计算机模拟半导体器件内部重要的物理特性，获取有效数据，是设计和研制新型半导体器件结构的有效工具。本书主要内容包括半导体器件数值模拟的有限元方法、有限差分方法，半导体问题的区域分裂和局部加密网格方法，半导体瞬态问题的块中心差分方法等经典理论部分，以及半导体问题的混合元。特征混合元方法、混合元。分数步差分方法、半导体瞬态问题的有限体积元方法、半导体问题的混合有限体积元。分数步差分方法、电阻抗成像的数值模拟方法和半导体问题数值模拟的间断有限元方法等现代数值模拟方法和技术。

暂缺简介...

本书采用“图表”与“全彩”结合的形式，详细介绍了液晶电视机的维修知识，主要内容包括：液晶电视机基础知识，液晶电视机基本维修技能，单元电路的结构，原理及维修（电源电路、背光灯电路、主板电路、屏与逻辑电路），液晶彩电常见故障的维修，液晶电视的组装，液晶电视综合维修技术及案例等。本书内容实用性和可操作性强，电路原理阐述详细，故障分析精细透彻，图表直观清晰，全彩重点标注，学习起来更加得心应手。本书适合家电维修技术人员阅读使用，同时也可用作职业院校及培训学校相关专业的教材及参考书。

本书讲了当今NFC设备的技术，以及这些技术在诸如金融支付、公共交通、行政管理、机动车、工业、通信工具以及物联网等领域的应用。本书通过数个详细的技术实例，讨论了诸多标准（如ISO、CEN、NFCForum、EMV等）和监管认证（如ERC、FCC、ETSI、无线电频率、隐私及生态污染等）下的约束，以及NFC设备不得不面对的审批、外形、功能性、结构性、环境或协同等问题。