1
Publié 2010
Table des matières: ... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... Networks -- A Novel Digital Algorithm for Sobel Edge Detection -- Efficient Intrusion Detection...
Accéder au texte intégral
Électronique eBook
3
Publié 2015
Table des matières: ... Recursive Functions by Virus Machines -- About models derived from colonies....
Accéder au texte intégral
Électronique eBook
4
Publié 2007
Table des matières: ... -- Constructive Dimension and Weak Truth-Table Degrees -- A Classification of Viruses Through Recursion Theorems...
Accéder au texte intégral
Électronique eBook