Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
https functionals » type functionals, data functionals, flaps functional
functionals over » functionals lower, functions over, functionals one
function https » functions https, fiction https
programs function » programs functional, programme function, programs fiction
https functionals » type functionals, data functionals, flaps functional
functionals over » functionals lower, functions over, functionals one
function https » functions https, fiction https
1
Published 2005
Table of Contents:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”View full text
Electronic
eBook
2
Table of Contents:
“...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“...General Introduction -- V-Invexity in Nonlinear Multiobjective Programming -- Multiobjective...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...”
View full text
View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...”View full text
Electronic
eBook
7
Table of Contents:
“... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...”
View full text
View full text
Electronic
eBook
8
Subjects:
“...Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12007...”
View full text
View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...Harald Ganzinger’s Legacy: Contributions to Logics and Programming -- Bio-Logics: Logical Analysis...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
12
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
14
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
16
“... for the wall squat test (left) at 6 weeks, functional training showed no advantage over conventional training...”
View full text
View full text
Article
17
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
19
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook