Foreslåede emner i din søgning.
Søg alternativer:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion computing » recursion counting, decisions computing, equation computing
computing theory » computation theory
1
Omslagsbillede
af Smith, Carl, 1950- .
Udgivet 1994
Fag: “...Electronic digital computers Programming....”
Bog
Føj til favoritter
Saved in:
2
Omslagsbillede
af Brainerd, Walter S.
Udgivet 1974
Fag: “...Recursive functions....”
Bog
Føj til favoritter
Saved in:
3
Omslagsbillede
af Enderton, Herbert B.
Udgivet 2011
Indholdsfortegnelse: “...The Computability Concept -- General Recursive Functions -- Programs and Machines -- Recursive...”
Bog
Føj til favoritter
Saved in:
4
Omslagsbillede
af Machtey, Michael,, Young, Paul,
Udgivet 1978
Fag: “...Programming languages electronic computers....”
Bog
Føj til favoritter
Saved in:
5
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
6
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
7
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “... -- Identifying Polynomial-Time Recursive Functions -- Confluence of Shallow Right-Linear Rewrite Systems...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
8
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
9
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
10
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
11
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
12
Omslagsbillede
Indholdsfortegnelse: “... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
13
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
14
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
15
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
16
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... the Recursive Method -- Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
17
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “...Recursive Projection Profiling for Text-Image Separation -- Risk in the Clouds?: Security Issues...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
18
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
19
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... of Asynchronous Automata -- Conjugacy and Equivalence of Weighted Automata and Functional Transducers...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
20
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning