1
by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010
Table of Contents: ... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
View full text
Electronic eBook
3
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
4
Table of Contents: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...
View full text
Electronic eBook
9
by Lopez, Cesar., Lopez, Cesar.
Published 2014
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
10
by Bramer, Max., Bramer, Max.
Published 2015
Table of Contents: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
12
Table of Contents: ...Designing Single-stage Sample Surveys -- Multistage Designs -- Survey Weights and Analyses -- Other...
View full text
Electronic eBook
13
Table of Contents: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...
View full text
Electronic eBook
15
Table of Contents: ...Introduction to Multicore Systems On-Chip -- Multicore SoCs Design Methods -- Multicore SoC...
View full text
Electronic eBook
16
Table of Contents: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...
View full text
Electronic eBook
19
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
20
Table of Contents: ... Hiding -- Inheritance -- The Singleton Pattern -- Chaining -- Design Patterns -- The Factory Pattern...
View full text
Electronic eBook