一般共振情形下非线性系统形式首次积分的不存在性，黎文磊，许治国，在本文中，通过法形理论，我们给出几个一般共振情形下非线性系统形式首次积分的不存在性的判定准则。作为应用，我们进一步给出一
2020-01-03 11:39:21
490KB
1
JasperGold Formal Verification Platform provides industry-leading performance, capacity, and usability, delivering a 3X productivity gain and up to 6X performance improvement compared to previous solutions. The platform includes JasperGold Apps—targeted solutions that address specific design and verification challenges.
2019-12-21 20:16:33
8.62MB
1
解压缩，就能得到PDF版本的最新版的这本书了，对自动机和形式语言还有计算理论作了较为不错的解读。
2019-12-21 20:12:40
4.63MB
1
最新版，形式语言与自动机导论，第六版。英文原版计算机专业教材。
2019-12-21 19:58:48
7.62MB
1
An Introduction to Formal Languages and Automata,3rd edition
2019-12-21 19:46:58
11.94MB
1