1
Publicado 2006
Table of Contents: ... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...
Ligazón do recurso
Electrónico eBook
2
Publicado 2008
Table of Contents: ...? -- On Compiling Structured Interactive Programs with Registers and Voices -- Optimal Orientation On-Line -- Some...
Ligazón do recurso
Electrónico eBook
3
Publicado 2008
Table of Contents: ... of Credible Case-Based Inference -- Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts...
Ligazón do recurso
Electrónico eBook
4
Publicado 2008
Table of Contents: ...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...
Ligazón do recurso
Electrónico eBook
5
Publicado 2012
Table of Contents: ... Based on Basic Statistics -- An XML Data Query Method Based on Structure-Encoded....
Ligazón do recurso
Electrónico eBook
6
Publicado 2006
Table of Contents: ... Structure for Cognitive Ergonomic Route Directions -- Status Functions, Collective Intentionality: Matters...
Ligazón do recurso
Electrónico eBook