推荐下载
-
Advances in Verification of Time Petri Nets and Timed Automata
该书介绍了Time Petr Nets 和 Timed Automata,总结了他们的研究成果,对于从事实时系统形式化方面的研究者比较有用。
10 2021-05-10 -
Paniel_the_Automata Rimworld竞赛模组源码
Paniel_the_Automata:Rimworld竞赛模组
11 2021-04-07 -
Occupant Evacuation Based on Cellular Automata Involving Repulsion
Occupant Evacuation Based on Cellular Automata Involving Repulsion
11 2021-04-06 -
jrexxOpen Source Automata Based Regex API for Java
jrexx 是一个开源的 Java 库，专门设计用于处理正则表达式，它基于自动机理论构建，提供了高效且功能丰富的 API。这个库的独特之处在于它的匹配算法快速，同时扩展了正则表达式的模式语法，使得在
2 2024-12-19 -
A Theoretic Approach To Translation of Linear Temporal Logic into Automata
A Theoretic Approach To Translation of Linear Temporal Logic into Automata
12 2021-02-09 -
Computational_Complexity_ _Christos_Papadimitriou
Computational_Complexity_-_Christos_Papadimitriou
12 2020-10-18 -
DomainDriven Design Tackling Complexity in the Heart of Software
2004年著名建模专家EricEvans发表了他最具影响力的著名书籍：Domain-DrivenDesign–TacklingComplexityintheHeartofSoftware（中文译名：领
42 2020-05-15 -
复杂性理论Complexity Theory
这些介绍性注释概述了现代复杂性理论，定义了基本复杂性类别并提供了每个复杂性类别的一些示例。
44 2020-06-20 -
计算复杂度Computation Complexity
这些说明涉及一学期研究生课程的复杂性理论的基础。 它的一部分也适合以较慢的速度学习本科课程。 数学成熟度是主要前提。
19 2020-12-12 -
DomainDriven Design Complexity In Software.pdf
Domain-DrivenDesignComplexityInSoftware.pdf
26 2019-08-17
用户评论