Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https functionality » its functionality, bags functionality, cross functionality
programs functions » programs functional, problems functions, programme function
functionality part » functionality pt, functionality maps, functionality test
functions https » foundations https
part https » sport https, arts https, care https
https functionality » its functionality, bags functionality, cross functionality
programs functions » programs functional, problems functions, programme function
functionality part » functionality pt, functionality maps, functionality test
functions https » foundations https
part https » sport https, arts https, care https
1
Publicado 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Table of Contents:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
6
Table of Contents:
“...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
7
Table of Contents:
“... of the Melnikov Function Method -- Limit Cycle Bifurcations Near a Center -- Limit Cycles Near a Homoclinic...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
8
Publicado 2006
Table of Contents:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“... Tight Bound for EMAC -- Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2006
Table of Contents:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Ligazón do recurso
Electrónico
eBook
14
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publicado 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Ligazón do recurso
Electrónico
eBook
15
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicado 2015
Table of Contents:
“...Probabilistic Programs as Spreadsheet Queries -- Static Analysis of Spreadsheet Applications...”Ligazón do recurso
Electrónico
eBook
16
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicado 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Ligazón do recurso
Electrónico
eBook
17
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Publicado 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Ligazón do recurso
Electrónico
eBook
18
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Ligazón do recurso
Electrónico
eBook
19
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicado 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Ligazón do recurso
Electrónico
eBook