Your search returned 67 results. Subscribe to this search

Not what you expected? Check for suggestions
|
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. colorFormato digital
Stream ciphers [Recurso eletrónico] / by Andreas Klein Publicação: London : Springer, 2013Descrição: XIX, 399 p. : il.Formato digital
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).
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 disponíveis para empréstimo: Biblioteca da UA (1). Exemplares interditos: Biblioteca da UA (2).
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 disponíveis para empréstimo: Biblioteca da UA (1). Exemplares interditos: Biblioteca da UA (2).
Introduction à la résolution des systèmes polynomiaux / Mohamed Elkadi, Bernard Mourrain Publicação: Nice : Springer, cop. 2007Descrição: 305 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
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
Complexity theory and cryptology : an introduction to cryptocomplexity / Jörg Rothe Publicação: Berlin : Springer, cop. 2005Descrição: XI, 478 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Surveys in modern mathematics / ed. Victor Prasolov, Yulij Ilyashenko Publicação: Cambridge : Cambridge University Press, 2005Descrição: XI, 348 p. : ilExemplares disponíveis para empréstimo: Biblioteca da UA (1).
Foundations of algorithms using C++ pseudocode / Richard E. Neapolitan, Kumarss Naimipour Publicação: Boston (MA) : Jones and Bartlett Publishers, cop. 2004Descrição: XV, 617 p. : il. col.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).
Proceedings of the 36th Annual ACM Symposium on Theory of Computing.. Publicação: New York : The Association for Computing Machinery, cop. 2004Descrição: XVII, 646 p. : il.Exemplares disponíveis para empréstimo: Biblioteca da UA (1).


© 2017 Universidade de Aveiro

Powered by Koha

// //]]>