1
Pubblicazione 2007
Sommario: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
Testo
Elettronico eBook
3
Sommario: ...Overview -- Assembly Language -- Computer Organization -- Digital Logic Circuits -- Memory...
Testo
Elettronico eBook
4
Pubblicazione 2006
Sommario: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Testo
Elettronico eBook