1
Έκδοση 2006
Πίνακας περιεχομένων: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2008
Πίνακας περιεχομένων: ...? -- On Compiling Structured Interactive Programs with Registers and Voices -- Optimal Orientation On-Line -- Some...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2008
Πίνακας περιεχομένων: ... of Credible Case-Based Inference -- Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Έκδοση 2008
Πίνακας περιεχομένων: ...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2012
Πίνακας περιεχομένων: ... Based on Basic Statistics -- An XML Data Query Method Based on Structure-Encoded....
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2006
Πίνακας περιεχομένων: ... Structure for Cognitive Ergonomic Route Directions -- Status Functions, Collective Intentionality: Matters...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο