1
Published 2006
Table of Contents: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
View full text
Electronic eBook
2
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
3
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
4
Table of Contents: ... -- Functional Programs -- References -- Index....
View full text
Electronic eBook
5
Table of Contents: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... -- Describing and Optimising Reversible Logic Using a Functional Language -- Hardware Design with Generalized...
View full text
Electronic eBook
7
Table of Contents: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
View full text
Electronic eBook
8
by Hunt, John., Hunt, John.
Published 2013
Table of Contents: ... -- Mediator -- Observer -- State -- Visitor -- Memento -- Part V – Functional Design Patterns -- Functor...
View full text
Electronic eBook
9
Table of Contents: ...Introduction -- IEC 61499 in a Nutshell -- Introduction to Synchronous Programming Using Esterel...
View full text
Electronic eBook
10
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
11
Table of Contents: ... Sample Design and Trait Evaluation -- 4.3.2 The Database -- 4.3.3 Changes of Plant Functional Types...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook
13
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... data analysis for activation detection -- fMRI experimental design -- fMRI data pre-processing...
View full text
Electronic eBook
14
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... -- Complexity and Cartesian Genetic Programming -- Design of Robust Communication Systems Using Genetic...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...
View full text
Electronic eBook
18
Table of Contents: ... Hiding -- Inheritance -- The Singleton Pattern -- Chaining -- Design Patterns -- The Factory Pattern...
View full text
Electronic eBook
19
Table of Contents: ... -- Modelling Object-oriented Systems in VDM++ -- Defining Data -- Defining Functionality -- Modelling Unordered...
View full text
Electronic eBook
20
by Liu, G.R., Liu, G.R., Gu, Y.T.
Published 2005
Table of Contents: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
View full text
Electronic eBook