Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
functionality part » functionality pt, functionality maps, functionality test
programs function » programs functional, programme function, programs fiction
function https » functions https, fiction https
part https » sport https, arts https, care https
https functionality » its functionality, bags functionality, cross functionality
functionality part » functionality pt, functionality maps, functionality test
programs function » programs functional, programme function, programs fiction
function https » functions https, fiction https
part https » sport https, arts https, care https
1
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
2
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”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:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
6
Table of Contents:
“...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...”
View full text
View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”View full text
Electronic
eBook
8
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
9
Published 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
14
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
15
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”View full text
Electronic
eBook
16
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
17
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”View full text
Electronic
eBook
18
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
19
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
20
Published 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”View full text
Electronic
eBook