Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals some » functions some, functionals time, functionals one
some https » source https
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals some » functions some, functionals time, functionals one
some https » source https
1
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
3
4
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Unsplittable-Flow-Covering Helps Scheduling with Job-Dependent Cost Functions -- Why Some Heaps Support...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...Invited Lectures -- Ushering in a New Era of Algorithm Design -- A “proof-reading” of Some Issues...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
11
Table of Contents:
“...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
View full text
View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
13
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
14
by Jungck, Peder., Jungck, Peder., An SAIC Company, CloudShield Technologies Inc., Duncan, Ralph., Mulcahy, Dwight.
Published 2011
Subjects:
“...Computer programming....”Published 2011
View full text
Electronic
eBook
15
Table of Contents:
“... to Programming Languages.-Introduction to Programming.-Arithmetic.-Arrays 1: Some Fundamentals.-Arrays 2: Further...”
View full text
View full text
Electronic
eBook
16
Subjects:
“...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
View full text
View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Reducibilities -- Streaming Algorithms for Some Problems in Log-Space -- Temperature Aware Online Scheduling...”View full text
Electronic
eBook
20
Table of Contents:
“... -- Introduction to Programming -- Arithmetic -- Arrays 1: Some Fundamentals -- Arrays 2: Further Examples -- Whole...”
View full text
View full text
Electronic
eBook