Εναλλακτικές αναζητήσεις:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
structure computing » structural computing, structures competing, structure compiling
recursion basic » decision basic, precision basic, recursion case
basic struts » basic truth, basic strokes, basic study
1
Έκδοση 2007
Πίνακας περιεχομένων: ...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2006
Πίνακας περιεχομένων: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2008
Πίνακας περιεχομένων: ... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο