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