Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionals source » functional source, functionals some, functionals bounded
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
source https » resources https, space https
functionals source » functional source, functionals some, functionals bounded
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
source https » resources https, space https
1
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
2
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”View full text
Electronic
eBook
4
Table of Contents:
“...Hello, World! Your First Shell Program -- Input, Output, and Throughput -- Looping and Branching...”
View full text
View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”View full text
Electronic
eBook
7
Subjects:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... -- The Objective Part of Caml -- Digression: OCaml Is Not Pure -- Digression: Functional Programming -- Practical...”
View full text
View full text
Electronic
eBook
9
10
11
12
13
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
17
Table of Contents:
“...1. Elementary Programming Concepts -- 2. C The Basics -- 3. Programs with Sequence Logic -- 4...”
View full text
View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Strategic Orientation in the Globalization of Software Firms -- Strategic Sourcing of R&D...”View full text
Electronic
eBook
19
Table of Contents:
“...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...”
View full text
View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook