1
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
3
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...
View full text
Electronic eBook
4
Table of Contents: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... Criterion for Projective Limits -- The H ?Holomorphic Functional Calculus for Sectorial Operators — a Survey....
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
View full text
Electronic eBook
9
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...
View full text
Electronic eBook
17
by Evans, Brian., Evans, Brian.
Published 2011
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
18
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
20
Table of Contents: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Technical Topics...
View full text
Electronic eBook