Εναλλακτικές αναζητήσεις:
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
structures » structure
texts » text, tests
1
Έκδοση 2005
Πίνακας περιεχομένων: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2005
Πίνακας περιεχομένων: ... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2006
Πίνακας περιεχομένων: ... and Fast Algorithms -- Minimization, Learning, and Conformance Testing of Boolean Programs -- A Capability...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο