A sua pesquisa retornou 13 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
|
Análise da complexidade de algoritmos / António Adrego da Rocha Publicação: Lisboa : FCA - Editora de Informática, cop. 2014Descrição: XVI, 181 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Synthesis of FPGA-based accelerators implementing recursive algorithms / Bruno Figueiredo Pimentel ; sob orientação de Valeri Sklyarov e Iouliia Skliarova Publicação: Aveiro : B. Pimentel, 2009Descrição: 176 p. : ilDescrição: 1 CD-ROMFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Classical recursion theory / Piergiorgio Odifreddi Publicação: Amsterdam : Elsevier, 1999Descrição: 2 vol : ilExemplares disponíveis para empréstimo: Biblioteca da UA (2).
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer Publicação: Cambridge : Cambridge University Press, 1996Descrição: VII, 347 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Theory of formal systems / Raymond M. Smullyan Publicação: Princeton (NJ) : Princeton University Press, 1996 printingDescrição: VIII, 142 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
A recursive introduction to the theory of computation / Carl H. Smith Publicação: New York : Springer, 1994Descrição: VIII, 148 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Computability and logic / George S. Boolos, Richard C. Jeffrey Publicação: Cambridge : University Press, 1989Descrição: X, 304 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Robot dynamics algorithms / Roy Featherstone Publicação: Boston : Kluwer Academic Publishers, 1987Descrição: VIII, 211 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Algebraic recursion theory Publicação: Chichester : Ellis Horwood, 1986Descrição: 256 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Computability and unsolvability / Martin Davis Publicação: New York : Dover, cop. 1973Descrição: XIV, 248 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Formalized recursive functionals and formalized realizability / S. C. Kleene Publicação: Providence (RI) : American Mathematical Society, 1969Descrição: 106 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Fonctions recursives / Andrzej Grzegorczyk Publicação: Paris : Gauthier-Villars, 1961Descrição: 100 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Rekursive funktionen / Rosza Peter Publicação: Budapest : Ungarischen Akademie der Wissenschaften, 1957Descrição: 278 p.Exemplares interditos: Biblioteca da UA (1).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>