But How Do It Know_ - The Basic Principles of Computers for Everyone

Compilers: Principles, Techniques, and Tools is a famous computer science textbook by Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman about compiler construction. Although more than two decades have passed since the publication of the first edition, it is widely regarded as the classic definitive compiler technology text. -- Wikipedia

本书全面、深入地探讨了编译器设计方面的重要主题，包括词法分析、语法分析、语法制导定义和语法制导翻译、运行时刻环境、目标代码生成、代码优化技术、并行性检测以及过程间分析技术，并在相关章节中给出大量的实例。 　　本书是编译原理课程方面的经典教材，内容丰富，适合作为高等院校计算机及相关专业本科生及研究生的编译原理课程的教材，也是广大技术人员的极佳参考读物。

很好的一本介绍数据整合的书，由数据整合的几个牛人编写。

本教程介绍了机器学习(ML)的一些主要概念。从工程的角度来看，ML领域围绕着实现科学原理的软件开发: (i) 对一些现象设定一个假设(选择一个模型)，(ii) 收集数据来验证假设(验证模型)，(iii) 完善假设(迭代)。基于这一原理的一类重要算法是梯度下降法，它旨在迭代地细化由某个(权重)向量参数化的模型。通过结合假设空间(模型)、质量度量(损失)和模型优化(优化方法)的计算实现的不同选择，可以得到大量的ML方法。目前许多被认为是(人工)智能的系统都是基于几种基本机器学习方法的组合。在形式化ML问题的主要构建模块之后，讨论了ML方法的一些流行算法设计模式。本教程是在“机器学习:基本原理”和“人工智能”两门课程的课堂笔记基础上发起来的，这两门课程我从2015年开始在阿尔托大学(Aalto University)与人合作授课。

This is a textbook for advanced undergraduate and graduate students in the field of mobile robotics. Emphasising computation and algorithms, the authors address a range of strategies for enabling robots to perform tasks that involve motion and behavior. The book is divided into three major sections: locomotion, sensing, and reasoning. It concentrates on wheeled and legged mobile robots, but discusses a variety of other propulsion systems. Kinematic models are developed for many of the more common locomotive strategies. It presents algorithms for both visual and nonvisual sensor technologies, including sonar, vision, and laser scanners. In the section on reasoning, the authors offer a thorough examination of planning and the issues related to spatial representation. They emphasize the problems of navigation, pose estimation, and autonomous exploration. The book is a comprehensive treatment of the field, offering a discussion of state-of-the art methods with illustrations of key technologies.

无线通信经典著作，Rappaport,T.S著作

Model Checking经典书籍,如果做形式化验证的话属于必读系列

2.9 视在计算 2.9.1 视在功率计算 视在功率有两类计算公式： PQS视在功率（公式一）： 2 2S P Q= + RMS视在功率（公式二）： *S Urms Irms= HT7036提供两类计算方式，用户可通过寄存器配置选择使用任意一种计算公式。

高清英文版本 《Priciples of Verifiable RTL Design, 2nd Ed》 by Lionel Bening & Harry Foster 比较早的介绍有关RTL Validation设计的宝典书籍，是原来HP的一位大牛撰写的！！你可以到作者的网站看看，有相关的本书的设计范例以及script下载！如果想使RTL设计非常的完美，保证你的后端设计一次成功的，这本书是不可缺少的。