A sua pesquisa retornou 72 resultados. Subscrever esta pesquisa

Não era o que estava à espera? Verifique por sugestões
|
Dynamical systems generated by linear maps [Recurso eletrónico] / Ćemal B. Dolićanin, Anatolij B. Antonevich Publicação: Cham : Springer, 2014Descrição: XII, 203 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Perspectives in computational complexity : The Somenath Biswas anniversary volume [Recurso eletrónico] / ed. Manindra Agrawal, Vikraman Arvind Publicação: Cham : Birkhäuser, 2014Descrição: X, 202 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Optimization approaches for solving string selection problems [Recurso eletrónico] / by Elisa Pappalardo, Panos M. Pardalos, Giovanni Stracquadanio Publicação: New York (NY) [etc.] : Springer, 2013Descrição: VIII, 49 p. : il. colorAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Stream ciphers [Recurso eletrónico] / by Andreas Klein Publicação: London : Springer, 2013Descrição: XIX, 399 p. : il.Acesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Logical foundations of mathematics and computational complexity : a gentle introduction [Recurso eletrónico] / Pavel Pudlák Publicação: Heidelberg : Springer, 2013Descrição: XIV, 695 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Lectures on complex networks / Sergey N. Dorogovtsev Publicação: Oxford : Oxford University Press, cop. 2010Descrição: IX, 134 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (4).
Programs, proofs, processes : abstract and handout booklet [of the] 6th Conference on Computability in Europe, CiE 2010 / ed. Fernando Ferreira...[et al.] Publicação: Ponta Delgada : University of Azores. Department of Mathematics. Centre for Applied Mathematics and Information Technology, 2010Descrição: XIV, 428 p.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Programs, proofs, processes : 6th Conference on Computability in Europe, CiE 2010 proceedings / ed. Fernando Ferreira...[et al.] Publicação: New York (NY) : Springer, 2010Descrição: XVI, 450 pExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Time-dependent scheduling / Stanislaw Gawiejnowicz Publicação: Berlin : Springer, cop. 2008Descrição: XVI, 377 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Computational group theory and the theory of groups / AMS Special Session ... ; eds. Luise-Charlotte Kappe, Arturo Magidin, Robert Fitzgerald Morse Publicação: Providence (RI) : American Mathematical Society, cop. 2008Descrição: VII, 286 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
An introduction to Kolmogorov complexity and its applications / Ming Li, Paul Vitányi Publicação: New York (NY) : Springer, cop. 2008Descrição: XXIII, 790 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Building bridges : between mathematics and computer science [Recurso eletrónico] / ed. by Martin Grötschel, Gyula O. H. Katona, Gábor Sági Publicação: Berlin : Springer, 2008Descrição: 595 pAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Bayes lienar statistics : theory and methods / Michael Goldstein and David Wooff Publicação: Chichester : John Wiley & Sons, cop. 2007Descrição: XIX, 508 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Algoritmos e complexidade no modelo de computação quântica / António Ferreira Pereira ; sob orientação de Maria Rosália Dinis Rodrigues Publicação: Aveiro : A. Pereira, 2007Descrição: 1 CD-ROMDescrição: VIII, 112 p. : ilFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Conjuntos convexos e algoritmos para construir invólucros convexos / Susana Paula Neves Nogueira Azevedo ; sob orientação de António Leslie Bajuelos Dominguez e de Tatiana Tchemisova Cordeiro Publicação: Aveiro : S. Azevedo, 2007Descrição: 1 CD-ROMDescrição: IV, 131 p. : ilFormato digitalExemplares interditos: Biblioteca da UA (1), Mediateca da UA (1).
Introduction à la résolution des systèmes polynomiaux / Mohamed Elkadi, Bernard Mourrain Publicação: Nice : Springer, cop. 2007Descrição: 305 p. : ilAcesso restrito à UAExemplares disponíveis para empréstimo: Biblioteca da UA (2).
Foundations of complex systems : nonlinear dynamics, statistical physics, information and prediction / Gregoire Nicolis, Catherine Nicolis Publicação: New Jersey (NJ) : World Scientific, cop. 2007Descrição: XIV, 328 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Parameterized complexity theory / J. Flum, M. Grohe Publicação: Berlin : Springer, cop. 2006Descrição: XIII, 493 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
The traveling salesman problem [] / David L. Applegate... [et al.] Publicação: Princeton (NJ) : Princeton University Press, 2006Descrição: IX, 593 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Foundations and applications of mis : a model theory approach [Recurso eletrónico] / by Yasuhiko Takahara, Yongmei Liu ; ed. by George J. Klir Publicação: New York (NY) : Springer, 2006Descrição: XVI, 360 pFormato digital


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>