Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality domain » functional domain, functional domains, functionality design
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
domain https » man https, human https, domain hmdp
functionality domain » functional domain, functional domains, functionality design
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
domain https » man https, human https, domain hmdp
1
Table of Contents:
“... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
View full text
View full text
Electronic
eBook
2
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”View full text
Electronic
eBook
4
by Janssen, Jeroen., Janssen, Jeroen., Schockaert, Steven., Vermeir, Dirk., De Cock, Martine.
Published 2012
Table of Contents:
“...Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set...”Published 2012
View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- Structure-Function Relationship of Bacterial SH3 Domains -- Activation of PI3K by Thyroid Hormone Nuclear...”View full text
Electronic
eBook
6
by Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Published 2005
Table of Contents:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Published 2005
View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
9
Table of Contents:
“... and Frequency Domains with Matlab -- Chap. 12, Index....”
View full text
View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... and Relative Completeness of Logics for Higher-Order Functions -- Interpreting Polymorphic FPC into Domain...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... -- Numerical Study of Stability Domains of Hamiltonian Equation Solutions -- Numeric-Symbolic Computations...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
17
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
18
Reversible Computation Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers /
Published 2012
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook