Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion case » recursion a, recursion free, recursion g.e
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion case » recursion a, recursion free, recursion g.e
1
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
2
Table of Contents:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
View full text
View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... for JML -- Incremental Benchmarks for Software Verification Tools and Techniques -- Case Studies...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Keynote Presentations -- Case-Based Reasoning Tomorrow: Provenance, the Web, and Cases...”View full text
Electronic
eBook