Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion case » recursion a, recursion free, recursion g.e
case theory » care theory, phase theory, game theory
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion case » recursion a, recursion free, recursion g.e
case theory » care theory, phase theory, game theory
1
Publicat 2006
Taula de continguts:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Obtenir text complet
Electrònic
eBook
2
Publicat 2006
Taula de continguts:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Obtenir text complet
Electrònic
eBook
3
Publicat 2007
Taula de continguts:
“... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”Obtenir text complet
Electrònic
eBook
4
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“... for Cost-Analysis of Higher-Order Polymorphic Functional Programs -- Subset Coercions in Coq -- A Certified...”Obtenir text complet
Electrònic
eBook
7
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...”Obtenir text complet
Electrònic
eBook
9
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Publicat 2013
Taula de continguts:
“... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Obtenir text complet
Electrònic
eBook
12
Publicat 2012
Taula de continguts:
“... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... Dynamic Logic for Recursive Procedures -- Mapped Separation Logic -- Unguessable Atoms: A Logical...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“... and Feature Characterizations -- Recursive Query Facilities in Relational Databases: A Survey -- Semantic...”Obtenir text complet
Electrònic
eBook
15
Publicat 2015
Taula de continguts:
“...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...”Obtenir text complet
Electrònic
eBook
18
Publicat 2006
Taula de continguts:
“... Functional Worst Case Constant Time Catenable Sorted Lists -- Taxes for Linear Atomic Congestion Games...”Obtenir text complet
Electrònic
eBook
19
Publicat 2006
Taula de continguts:
“...Fuzzy Sets and Systems -- Rough-Fuzzy Granular Computing, Case Based Reasoning and Data Mining...”Obtenir text complet
Electrònic
eBook
20
Publicat 2013
Taula de continguts:
“... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...”Obtenir text complet
Electrònic
eBook