1
Published 2015
Table of Contents: ...Balancing Shared and Distributed Heaps on NUMA Architectures -- Resource-Dependent Algebraic...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... Your Boilerplate” Reloaded -- Ruler: Programming Type Rules -- A Framework for Extended Algebraic Data...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...
View full text
Electronic eBook
4
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
5
Published 2011
Subjects: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... -- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs -- Dynamic Chunking...
View full text
Electronic eBook
7
Table of Contents: ...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Local geometric Langlands correspondence and affine Kac-Moody algebras -- Integration in valued fields...
View full text
Electronic eBook
9
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets -- An Algorithm...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... and PAT.-Negative Variables and the Essence of Object-Oriented Programming -- Reasoning (on) Service...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... of the Incidence Matrices to Compute the Algebraic Immunity of Boolean Functions -- Weighted Unranked Tree Automata...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ...Algebraic Systems Biology: Theses and Hypotheses -- Discrete Models of Biochemical Networks...
View full text
Electronic eBook
15
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
16
Table of Contents: ... Hypergeometric Series -- 6 Algebraic Functions -- 7 Holonomic Sequences and Power Series -- Appendix...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
18
Table of Contents: ... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...
View full text
Electronic eBook
19
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... -- On the Computation of A ???-Maps -- Algebraic Visualization of Relations Using RelView -- Comprehensive Triangular...
View full text
Electronic eBook