Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs functional » programming functional, proteins functional, processes functional
https functionality » its functionality, bags functionality, cross functionality
functional https » functions https, function https, functional hop
functionality do » functionality _, functionality pt, functionality 4
do https » zoo https
programs functional » programming functional, proteins functional, processes functional
https functionality » its functionality, bags functionality, cross functionality
functional https » functions https, function https, functional hop
functionality do » functionality _, functionality pt, functionality 4
do https » zoo https
1
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
2
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“...Elementary Logic and Set Theory -- Real Numbers -- Sequences -- Limits of Functions -- Continuity...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...”
View full text
View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“..., Boston, USA) Fetal hormonal programming of the brain: Implications for understanding sex differences...”View full text
Electronic
eBook
7
Table of Contents:
“...Convex sets and convex functions: the fundamentals -- Continuity and ?(X) -- The derivatives...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
11
Table of Contents:
“... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...”
View full text
View full text
Electronic
eBook
12
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... as Requirements -- What Do Practitioners Vary in Using Scrum? -- Key Challenges in Early-Stage Software Startups...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems...”View full text
Electronic
eBook
17
Table of Contents:
“... of Constrained Optimization -- Quadratic Programming -- Penalty Function Methods -- Feasible Direction Methods...”
View full text
View full text
Electronic
eBook
18
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...”View full text
Electronic
eBook
20
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook