1
Wydane 2006
Spis treści: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2008
Spis treści: ...? -- On Compiling Structured Interactive Programs with Registers and Voices -- Optimal Orientation On-Line -- Some...
Dokumenty pełnotekstowe
Elektroniczne E-book
3
Wydane 2008
Spis treści: ... of Credible Case-Based Inference -- Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts...
Dokumenty pełnotekstowe
Elektroniczne E-book
4
Wydane 2008
Spis treści: ...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...
Dokumenty pełnotekstowe
Elektroniczne E-book
5
Wydane 2012
Spis treści: ... Based on Basic Statistics -- An XML Data Query Method Based on Structure-Encoded....
Dokumenty pełnotekstowe
Elektroniczne E-book
6
Wydane 2006
Spis treści: ... Structure for Cognitive Ergonomic Route Directions -- Status Functions, Collective Intentionality: Matters...
Dokumenty pełnotekstowe
Elektroniczne E-book