-
该书介绍了Time Petr Nets 和 Timed Automata,总结了他们的研究成果,对于...
大小：3.91MB | 2021-05-10 04:10:28 -
我们学者在概率系统形式化验证方面的专著,对于形式化验证方向的研究者非常有用。
大小：3.91MB | 2021-04-20 13:27:30 -
这是一本比较系统的介绍mathematicallogic的书。
大小：2.94MB | 2020-06-10 13:35:25 -
一本关于模糊算子的研究教材，对模糊数学的研究者非常有用。
大小：9.47MB | 2020-02-04 18:57:37 -
ACMfellow的R.Alur和T.A.Henzinger的课件
大小：3.42MB | 2019-09-09 21:59:42 -
PartIIntroductionPartIIConcurrencyTheory–UntimedMo...
大小：3.15MB | 2019-07-30 03:46:39 -
Thisbookisaboutcomputerprogramsthatcanperfromautom...
大小：3.12MB | 2019-06-01 08:24:43 -
经典的面向计算机科学的逻辑学，这是第三版了！
大小：4.38MB | 2019-05-22 17:13:35 -
系统地介绍了PetriNets的基本概念，性质，以及Non-AutonomousPetriNets，...
大小：23.86MB | 2019-05-15 09:33:00 -
这是一本详细地介绍temporallogic中的LTL的书，非常有参考价值！
大小：8.26MB | 2019-05-13 15:11:27
Ta的上传资源列表