Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas 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 1 » recursion _, recursion a, recursions g
1 circuits » _ circuits, 2 circuits, 3 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 1 » recursion _, recursion a, recursions g
1 circuits » _ circuits, 2 circuits, 3 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 Electrónico
livro electrónico
2
Publicado em 2005
Sumário:
“... and Recursive Types Logically -- The Language ?: Circuits, Computations and Classical Logic -- Checking Risky...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2012
Sumário:
“... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...”Obter o texto integral
Recurso Electrónico
livro electró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 Electrónico
livro electrónico
5
Publicado em 2005
Sumário:
“... of Monotone DNFs -- Bounds on the Power of Constant-Depth Quantum Circuits -- Automata I -- Biautomatic...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“..., and Regular Expression Size -- Leftist Grammars Are Non-primitive Recursive -- On the Computational...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2006
Sumário:
“... Multiplication over Finite Fields -- Synchronous Elastic Circuits -- Theory Track -- SZK Proofs for Black-Box...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2015
Sumário:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
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 Electrónico
livro electrónico
12
Publicado em 2013
Sumário:
“... -- Quantum Field Theory for Legspinners -- Bicompletions of Distance Matrices -- Partial Recursive Functions...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2006
Sumário:
“... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
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 Electrónico
livro electrónico
16
Sumário:
“...Introduction -- Part I: Mathematics for Computer Science -- Propositional Logic -- Sets -- Boolean...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2005
Sumário:
“... Model -- Formal Verification of a SHA-1 Circuit Core Using ACL2 -- From PSL to LTL: A Formal Validation...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2005
Sumário:
“... Computing -- Interactive Algorithms 2005 -- Some Computational Issues in Membrane Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Sumário:
“...1. Transmitters -- 2. Power Amplifier Linearization -- 3. Digital Compensation Methods for Analog I...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico