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
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion basic » decision basic, precision basic, recursion case
basic task » basic tasks, basic taste, based task
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion basic » decision basic, precision basic, recursion case
basic task » basic tasks, basic taste, based task
1
Publicado em 2006
Sumário:
“... Views on Data Types -- Recursion Schemes for Dynamic Programming -- Bimonadic Semantics for Basic...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2008
Sumário:
“... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2005
Sumário:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico