Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
problems functionality » protein functionality, problem functional, problem functionals
compositional problems » computational problems, composition problem, compositional process
program compositional » program composition, program computational, problem compositional
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
problems functionality » protein functionality, problem functional, problem functionals
compositional problems » computational problems, composition problem, compositional process
program compositional » program composition, program computational, problem compositional
functionality using » functionality business, functionality design, functioning using
using https » using http, nursing https, aging https
1
Published 2014
Table of Contents:
“... Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Post Embedding Problem -- Alternation Removal in Büchi Automata -- Linear Orders in the Pushdown...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
7
Table of Contents:
“... of a Lamina -- to Homogenization of Composite Materials -- to Damage Mechanics of Composite Materials....”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
View full text
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Problem Using an Adaptive Hybrid VNS/SA Approach -- Testing the Dinosaur Hypothesis under Empirical...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... and Non-functional Requirements of Web Service Composition -- vTRUST: A Formal Modeling and Verification...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Rightful Place -- Requirements Engineering and Modeling 1 -- Information Use in Solving a Well-Structured...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”View full text
Electronic
eBook
19
Table of Contents:
“...Chapter 1: Getting Started -- Chapter 2: The DOM Abstraction -- Chapter 3: Component Composition...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Systems -- Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages...”View full text
Electronic
eBook