Rekommenderade teman
Rekommenderade teman
Menade du:
computation programming » communication programming, computation programmatic, computing programming
structure computation » structure computations, structures computation, structure computational
programming decision » programming decisions, programming recursion, programming design
decision basic » decisions basic, precision basic, decision based
basic struts » basic truth, basic strokes, basic study
computation programming » communication programming, computation programmatic, computing programming
structure computation » structure computations, structures computation, structure computational
programming decision » programming decisions, programming recursion, programming design
decision basic » decisions basic, precision basic, decision based
basic struts » basic truth, basic strokes, basic study
1
Publicerad 2006
Innehållsförteckning:
“... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2008
Innehållsförteckning:
“...? -- On Compiling Structured Interactive Programs with Registers and Voices -- Optimal Orientation On-Line -- Some...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2008
Innehållsförteckning:
“... of Credible Case-Based Inference -- Supporting Case-Based Retrieval by Similarity Skylines: Basic Concepts...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2008
Innehållsförteckning:
“...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2012
Innehållsförteckning:
“... Based on Basic Statistics -- An XML Data Query Method Based on Structure-Encoded....”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2006
Innehållsförteckning:
“... Structure for Cognitive Ergonomic Route Directions -- Status Functions, Collective Intentionality: Matters...”Hämta fulltext
Elektronisk
E-bok