Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
structures » structure
programming recursion » programming decision, programming session, programming decisions
based tools » based tool, basic tools
structures » structure
1
Published 2010
Table of Contents:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”View full text
Electronic
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
3
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- A Machine Learning Parser Using an Unlexicalized Distituent Model -- Ontology-Based Semantic...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... and Efficient Computing of Gröbner Bases -- CheapTB: A Low Cost of Operation Distributed Filesystem -- Spelling...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... for Ontology Integration Based on Graph Rewriting -- Generating Eclipse Editor Plug-Ins Using Tiger -- From...”View full text
Electronic
eBook
12
Knowledge-Based and Intelligent Information and Engineering Systems 14th International Conference...
Published 2010
Table of Contents:
“... of Distortion Ratios -- Computer-Generated Conversation Based on Newspaper Headline Interpretation -- Using...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Concurrent Message-Passing C Programs with Recursive Calls -- Automata-Based Verification of Programs...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... Software Product Maintainability Based on Class-Level Structural Measures -- Integrating Reuse Measurement...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Processing, Advanced Computation Models -- Recursive Queries Using Object Relational Mapping -- Agent Based...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- An Eigenbackground Subtraction Method Using Recursive Error Compensation -- Attention Information Based Spatial...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Classification Rules Based on Association Rules Using Formal Concept Analysis -- Parameter Inference of Cost...”View full text
Electronic
eBook