本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义等主题，并展示了它们之间如何相互关联。 本书是计算机及相关专业高年级本科生和研究生的理想教学参考书，对于计算机领域的专业人士也是很好的技术参考书。
进入21世纪以来，集成电路制造工艺的发展日新月异，目前已经进入到了的纳米级阶段。电源完整性作为系统级芯片设计的重要课题，直接影响到集成电路的可靠性、性能以及功耗。因此，本书作者以系统级电源完整性为切入点，深入探讨了电源完整性的影响、时钟产生及分布、输入/输出单元中的电源完整性设计、电源完整性建模、温度效应以及低功耗电源完整性设计等方面的问题，并以IBMPOWER7 处理器芯片作为实例进行分析，后针对新型碳纳米管互连元件在电源完整性中的应用做了简要讨论。
快加入这场给金融世界带来风暴的技术革命。《精通比特币》作为指南提供了参与货币因特网所需的知识，可以带你穿越看似复杂的比特币世界。无论是正在开发下一个杀手级应用、投资初创企业还是仅仅对新技术好奇，这本经修订和扩充的第二版都能提供入门所需关键细节内容。
