Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
based text » based test
functions computational » function computation, directions computational, section computational
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
based text » based test
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
Published 2005
Table of Contents:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”View full text
Electronic
eBook
5
Table of Contents:
“... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
View full text
View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”View full text
Electronic
eBook
10
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Approach -- A New Scaling Kernel-Based Fuzzy System with Low Computational Complexity -- Bulk Synchronous...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook