wgz6152

模型检测必备资料供大家交流

模型检测必备资料是研究模型检测的好资料,是我在研究过程中收集的资料供大家使用!

形式化验证模型检测和数理逻辑经典书籍系列3

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍:Operating System Security (Synthesis Lectures on Information Security, Privacy, and Trust);Formal_Correctness_of_Security_P

数学分析和高等代数习题解答合集

数学分析和高等代数是学数学的根本,也是学习其他理工科工具,更是做科研的基础!我国学风很浮躁,甚至很多博导和专家都不会数学分析和高等代数,不知道怎么搞的科研!当然学习数学最关键最有效的方法就是做题!这里把经典习题解答奉献给大家!一共7本

人工智能方面的经典书籍

《AI,ModernApproach2nd》、《PatternRecognitionandMachineLearning》、《PatternClassification》、《FoundationsofStatisticalNaturalLanguageProcessing》、《Thenatureof

形式化验证模型检测和数理逻辑经典书籍系列2

我搜集的数理逻辑、形式化验证、模型检测方面的经典书籍：ComputabilityandLogic5thEdition；BasicPapersonUndecidablePropositions,UnsolvableProblemsandComputableFunctions；HandbookofPhi

最好Python合集

DeepLearningwithPython、HandsOnMachineLearningwithScikitLearnandTensorFlow、LearningPython(中英都有)、PythonforDataAnalysis_DataWranglingwithPandas,NumPy,and

分布式研究的经典教材2部

《DistributedComputing-Principles,Algorithms,andSystems》，《DesignandAnalysisofDistributedAlgorithms》

分布计算必备经典图书

Distributed calculation essential classic books

Algorithms To Live By

Algorithmtoliveby是一本涉猎很广的书，其中涉及的计算机领域的诸多经典算法

数理逻辑经典书籍

handbookofmodallogic；Introductiontologicforcomputerscience；logicanddiscretemathmaticsforcomputerscience；LogicforComputerScientis；logicincomputerscienc