在您的搜寻 主题建议
搜索替代词:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
1
封面图片
出版 2010
书本目录: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2013
书本目录: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2005
书本目录: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2008
书本目录: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2010
书本目录: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2010
书本目录: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2010
书本目录: “... -- A Machine Learning Parser Using an Unlexicalized Distituent Model -- Ontology-Based Semantic...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2006
书本目录: “... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2007
书本目录: “... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2005
书本目录: “... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2010
书本目录: “... of Distortion Ratios -- Computer-Generated Conversation Based on Newspaper Headline Interpretation -- Using...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2008
书本目录: “... for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2005
书本目录: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2006
书本目录: “... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2007
书本目录: “... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2006
书本目录: “... Software Product Maintainability Based on Class-Level Structural Measures -- Integrating Reuse Measurement...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2010
书本目录: “... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2006
书本目录: “... -- An Eigenbackground Subtraction Method Using Recursive Error Compensation -- Attention Information Based Spatial...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2005
书本目录: “... Classification Rules Based on Association Rules Using Formal Concept Analysis -- Parameter Inference of Cost...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索