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