Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program publishing » program relishing, prodac publishing, program establishing
function computing » education computing, generation computing
publishing https » publishing data
https function » its function, sites function, ups function
program publishing » program relishing, prodac publishing, program establishing
function computing » education computing, generation computing
publishing https » publishing data
https function » its function, sites function, ups function
1
Published 2015
Table of Contents:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”View full text
Electronic
eBook
2
Published 2014
Subjects:
“...Programming languages (Electronic computers)....”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
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
6
Table of Contents:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
View full text
View full text
Electronic
eBook
7
Table of Contents:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
View full text
View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of Reduction Relations -- Computability Closure: Ten Years Later -- Reduction Strategies and Acyclicity...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...”View full text
Electronic
eBook
14
Table of Contents:
“...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...”
View full text
View full text
Electronic
eBook
15
Table of Contents:
“... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...”
View full text
View full text
Electronic
eBook
16
Published 2015
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... of the Vertex Cover Problem and 3-Satisfiability Problem in ECP systems -- Membrane Computing Meets Temperature...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”View full text
Electronic
eBook