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...
获取全文
电子 电子书