1
Publié 2007
Table des matières: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Accéder au texte intégral
Électronique eBook
2
Publié 2005
Table des matières: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
Accéder au texte intégral
Électronique eBook
3
Table des matières: ...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...
Accéder au texte intégral
Électronique eBook
4
Publié 2006
Table des matières: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Accéder au texte intégral
Électronique eBook