1
出版 2010
書本目錄: ... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...
獲取全文
電子 電子書
2
出版 2010
書本目錄: ... Networks -- A Novel Digital Algorithm for Sobel Edge Detection -- Efficient Intrusion Detection...
獲取全文
電子 電子書
3
出版 2015
書本目錄: ... Recursive Functions by Virus Machines -- About models derived from colonies....
獲取全文
電子 電子書
4
出版 2007
書本目錄: ... -- Constructive Dimension and Weak Truth-Table Degrees -- A Classification of Viruses Through Recursion Theorems...
獲取全文
電子 電子書