Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions sharing » function shaping, function sparing, functions sharon
program function » programme function, programs functional, program foundation
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
sharing https » aging https, imaging https, smoking https
functions sharing » function shaping, function sparing, functions sharon
program function » programme function, programs functional, program foundation
https functions » status functions, its functions, sets functions
function https » functions https, fiction https
sharing https » aging https, imaging https, smoking https
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:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
3
Table of Contents:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
View full text
View full text
Electronic
eBook
5
Published 2015
Subjects:
“...Plant Breeding/Biotechnology. https://scigraph.springernature.com/ontologies/product-market-codes/L...”View full text
Electronic
eBook
6
Table of Contents:
“...Office Business Applications -- SharePoint Products and Technologies: Overview and New Features...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“...SharePoint Extranet Architectures and Components -- Configuring ISA Server, WSS, and IIS with SSL...”
View full text
View full text
Electronic
eBook
8
Subjects:
“...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text
View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Existential Variables from Constraint Logic Programs -- Negative Ternary Set-Sharing -- Termination...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
13
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
14
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
15
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
16
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... Monotonicity in the Differentiable Case -- Continuity and Differentiability of Quasiconvex Functions...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
19
Table of Contents:
“... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Aggregates for CHR through Program Transformation -- Preserving Sharing in the Partial Evaluation of Lazy...”View full text
Electronic
eBook