1
di Addis, Tom., Addis, Tom., Addis, Jan.
Pubblicazione 2010
Sommario: ... Maps and Mechanisms -- Functional Thinking -- Thinking Practically -- Side-Effect Programming...
Testo
Elettronico eBook
2
Pubblicazione 2006
Sommario: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Testo
Elettronico eBook
3
di Hunt, John., Hunt, John.
Pubblicazione 2013
Sommario: ... -- Mediator -- Observer -- State -- Visitor -- Memento -- Part V – Functional Design Patterns -- Functor...
Testo
Elettronico eBook
4
Sommario: ...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...
Testo
Elettronico eBook
5
Pubblicazione 2006
Sommario: ...Genetic Programming: Theory and Practice -- Evolving Swarming Agents in Real Time -- Automated...
Testo
Elettronico eBook
6
Pubblicazione 2010
Sommario: ... Stochastic Processes -- Graph Structured Program Evolution: Evolution of Loop Structures -- A Functional...
Testo
Elettronico eBook
7
Pubblicazione 2005
Sommario: ...Genetic Programming: Theory and Practice -- Discovering Financial Technical Trading Rules Using...
Testo
Elettronico eBook
8
Pubblicazione 2015
Sommario: ... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...
Testo
Elettronico eBook
9
Pubblicazione 2012
Sommario: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Testo
Elettronico eBook
10
Sommario: ...Designing Single-stage Sample Surveys -- Multistage Designs -- Survey Weights and Analyses -- Other...
Testo
Elettronico eBook
11
Pubblicazione 2005
Sommario: ...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...
Testo
Elettronico eBook
12
di Swenson, Nathan G., Swenson, Nathan G.
Pubblicazione 2014
Sommario: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
Testo
Elettronico eBook
13
di Lopez, Cesar., Lopez, Cesar.
Pubblicazione 2014
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
14
Pubblicazione 2006
Sommario: ... Programming -- Tabling in Mercury: Design and Implementation -- Translating Description Logic Queries...
Testo
Elettronico eBook
15
Sommario: ...Introduction to Multicore Systems On-Chip -- Multicore SoCs Design Methods -- Multicore SoC...
Testo
Elettronico eBook
16
Sommario: ...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...
Testo
Elettronico eBook
17
di Bramer, Max., Bramer, Max.
Pubblicazione 2015
Sommario: ... -- Some Important Functions -- Formatted Print Functions -- Using Files -- User-Defined Functions...
Testo
Elettronico eBook
18
di Bailey, Brian., Bailey, Brian., Martin, Grant.
Pubblicazione 2010
Sommario: ...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...
Testo
Elettronico eBook
19
Pubblicazione 2013
Sommario: ... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...
Testo
Elettronico eBook
20
di Lew, Art., Lew, Art., Mauch, Holger.
Pubblicazione 2007
Sommario: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Testo
Elettronico eBook