Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
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 3 » recursion _, recursion a, recursions g
3 circuits » _ circuits, 1 circuits, 2 circuits
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 3 » recursion _, recursion a, recursions g
3 circuits » _ circuits, 1 circuits, 2 circuits
1
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
2
Publicado em 2007
Sumário:
“...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2007
Sumário:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2008
Sumário:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2006
Sumário:
“... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
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
7
Publicado em 2015
Sumário:
“... -- Evolutionary Design of Transistor Level Digital Circuits Using Discrete Simulation -- M3GP – Multiclass...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2006
Sumário:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
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
10
Publicado em 2006
Sumário:
“... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2008
Sumário:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2010
Sumário:
“... and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2012
Sumário:
“... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2005
Sumário:
“...Invited Papers -- On the Correctness of Operating System Kernels -- Alpha-Structural Recursion...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2005
Sumário:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Sumário:
“...1. Transmitters -- 2. Power Amplifier Linearization -- 3. Digital Compensation Methods for Analog I...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico