Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Theory of algorithmsA. A. Markov (Andreæi Andreevich), 1903-1979Moscow Academy of Sciences of the USSR 1954 [i.e. Jerusalem, Israel Program for Scientific Translations, 1961; available from the Office of Technical Services, U.S. Dept. of Commerce, WashingtonLocalização: IME - Inst. Matemática e Estatística (QA810 M346tI )(Acessar) |
|
2 |
Material Type: Livro
|
Algorithm Theory - SWAT 2004: 9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, ProceedingsHagerup, Torben ; Katajainen, JyrkiSpringer 1900Texto completo disponível |
|
3 |
Material Type: Livro
|
Experimental and Efficient Algorithms: Third International Workshop, WEA 2004, Angra dos Reis, Brazil, May 25-28, 2004, ProceedingsRibeiro, Celso C ; Martins, Simone LSpringer 1900Texto completo disponível |
|
4 |
Material Type: Livro
|
Combinatorial pattern matching: 15th annual symposium, CPM 2004, Istanbul, Turkey, July 5-7 2004 : proceedingsSahinalp, Suleyman C ; Muthukrishnan, S ; Dogrusoz, UgurSpringer 1900Texto completo disponível |
|
5 |
Material Type: Livro
|
Algorithmic Number Theory: 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, ProceedingsBuell, DuncanSpringer 1900Texto completo disponível |
|
6 |
Material Type: Livro
|
Algorithms and Computation: 14th International Symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003, ProceedingsIbaraki, Toshihide ; Katoh, Naoki ; Ono, HirotakaSpringer 1900Texto completo disponível |
|
7 |
Material Type: Livro
|
Differentiable optimization and equation solving: a treatise on algorithmic science and the Karmarkar revolutionNazareth, John LSpringer 1900Texto completo disponível |
|
8 |
Material Type: Livro
|
Rewriting techniques and applications: 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedingsOostrom, Vincent vanSpringer 1900Texto completo disponível |
|
9 |
Material Type: Livro
|
Genetic and Evolutionary Computation - GECCO 2004: Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part IDeb, Kalyanmoy ; Poli, Riccardo ; Banzhaf, Wolfgang ; Beyer, Hans-Georg ; Burke, Edmund ; Darwen, Paul ; Dasgupta, Dipankar ; Floreano, Dario ; Foster, James A ; Harman, Mark ; Holland, Owen ; Lanzi, Pier Luca ; Spector, Lee ; Tettamanzi, Andrea ; Thierens, Dirk ; Tyrrell, AndySpringer 1900Texto completo disponível |
|
10 |
Material Type: Livro
|
Theory and applications of satisfiability testing: 6th international conference, SAT 2003, Santa Margherita Ligure Italy, May 5-8 2003 : selected revised papersGiunchiglia, Enrico ; Tacchella, ArmandoSpringer 1900Texto completo disponível |