1
Izdano 2010
Kazalo: ... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ... Networks -- A Novel Digital Algorithm for Sobel Edge Detection -- Efficient Intrusion Detection...
Polni tekst
Elektronski eKnjiga
3
Izdano 2015
Kazalo: ... Recursive Functions by Virus Machines -- About models derived from colonies....
Polni tekst
Elektronski eKnjiga
4
Izdano 2007
Kazalo: ... -- Constructive Dimension and Weak Truth-Table Degrees -- A Classification of Viruses Through Recursion Theorems...
Polni tekst
Elektronski eKnjiga