-
模型检测必备资料是研究模型检测的好资料,是我在研究过程中收集的资料供大家使用!
大小：15.18MB | 2020-09-27 19:30:40 -
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Operating System Securi...
大小：8.28MB | 2020-09-26 15:15:25 -
数学分析和高等代数是学数学的根本,也是学习其他理工科工具,更是做科研的基础!我国学风很浮躁,甚至很多...
大小：17.01MB | 2020-08-18 17:23:49 -
《AI,ModernApproach2nd》、《PatternRecognitionandMachi...
大小：45.27MB | 2020-05-27 20:24:43 -
我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：ComputabilityandLogic5t...
大小：10.13MB | 2020-05-22 15:50:42 -
DeepLearningwithPython、HandsOnMachineLearningwithS...
大小：93.76MB | 2019-09-25 13:17:42 -
《DistributedComputing-Principles,Algorithms,andSys...
大小：9.04MB | 2019-07-07 10:28:40 -
Distributed calculation essential classic books
大小：9.04MB | 2019-06-23 16:55:08 -
Algorithmtoliveby是一本涉猎很广的书，其中涉及的计算机领域的诸多经典算法
大小：2.52MB | 2019-05-28 19:08:08 -
面向模式的软件体系结构（4，5卷）面向模式的软件体系结构（4，5卷）
大小：43.85MB | 2019-05-22 16:48:25
Ta的上传资源列表