Automotive Embedded Systems Handbook
2021-10-12 23:26:38
7.59MB
1
Handbook of Robust Low-Rank and Sparse Matrix Decomposition
2021-10-12 11:09:36
12.9MB
1
Model checking is a computer-assisted method for the analysis of dynamical
systems that can be modeled by state-transition systems. Drawing from research
traditions in mathematical logic, programming languages, hardware design, and theoretical
computer science, model checking is now widely used for the verification of
hardware and software in industry. This chapter is an introduction and short survey
of model checking. The chapter aims to motivate and link the individual chapters of
the handbook, and to provide context for readers who are not familiar with model
checking.
2021-10-11 23:59:24
9.17MB
1
Springer.Springer.Handbook.of.Robotics.2nd.Edition.331932550 Springer.Springer.Handbook.of.Robotics.2nd.Edition.331932550
2021-10-11 18:21:48
104.69MB
1
Fred Glover主编
非常经典的元启发式方法的书籍！内容非常丰富，包含：组合优化；遗传算法；蚂蚁算法；紧急算法；人工神经网络；贪婪自适应；领域搜索等。
对学习最优化、NP难问题求解具有非常重要价值！数学建模；线性规划；算法：智能算法。
2021-10-10 18:00:50
10.03MB
1
Milton Abramowitz, Irene A. Stegun-Handbook of Mathematical Functions_ with Formulas, Graphs, and Mathematical Tables-National Bureau of Standards (1970)， 资源来自互联网
2021-10-09 22:25:31
37.59MB
1
论坛上其他资源太贵了，我的和他们一样，便宜，主要讲述不同类型的微带天线基本原理
2021-10-08 16:30:04
58.12MB
1
泰凌微的蓝牙8232的开发手册，介绍泰凌微整个SDK的架构，8232的硬件如何调用，介绍泰凌微蓝牙每个软件驱动使用
2021-09-30 12:10:39
4MB
1