Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
programming recursion » programming decision, programming session, programming decisions
computers programming » computer programming, computer program, computer programs
function computers » function computer, functions computer, functional computer
recursion a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
programming recursion » programming decision, programming session, programming decisions
computers programming » computer programming, computer program, computer programs
function computers » function computer, functions computer, functional computer
recursion a » recursion _, recursions g, recursions m
a circuits » _ circuits, a circuit, 1 circuits
1
Publicado em 2015
Sumário:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Publicado em 2008
Sumário:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2014
Sumário:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Sumário:
“... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2005
Sumário:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2005
Sumário:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2006
Sumário:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2005
Sumário:
“... -- Approximability -- Logspace Optimization Problems and Their Approximability Properties -- A Faster and Simpler 2...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2005
Sumário:
“... for Sand Automata -- A Bridge Between the Asynchronous Message Passing Model and Local Computations...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2013
Sumário:
“... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2010
Sumário:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Sumário:
“.../Q Modulator Errors -- 4. Direct Digital Synthesizers -- 5. Recursive Oscillators -- 6. Cordic...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico