Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Algorithms for Computer AlgebraKeith O. Geddes Stephen R Czapor; George Labahn; S. R Czapor; G LabahnSpringer US 1992Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Algorithmen in Zellularautomaten e. Einf.Roland Vollmar 1939-Stuttgart Teubner 1979Localização: IME - Inst. Matemática e Estatística (QA800 V924a )(Acessar) |
|
3 |
Material Type: Livro
|
Parameterized complexity theoryJörg Flum M Grohe (Martin)Berlin Springer c2006Localização: IME - Inst. Matemática e Estatística (QA800 F646p )(Acessar) |
|
4 |
Material Type: Livro
|
Mathematical foundations of computer science 2007 32nd international symposium, MFCS 2007, Cesk y Krumlov, Czech Republic August 26-31, 2007 : proceedingsSymposium on Mathematical Foundations of Computer Science (1972- ) (32nd 2007 Cesk y Krumlov, Czech Republic) Lud ek Ku cera; A Ku cera (Anton in)Berlin Springer New York c2007Localização: IME - Inst. Matemática e Estatística (S L471c v.4708 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Computing IOpen University Mathematics Foundation Course TeamWalton Hall, Bletchley, Bucks Open University Press c1971Localização: ICMC - Inst. Ciên. Mat. Computação (02C01 Open m100 8 )(Acessar) |
|
6 |
Material Type: Livro
|
Rewriting techniques and applications 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedingsTobias Nipkow 1958-; International Conference on Rewriting Techniques and Applications (9th 1998 Tsukuba-shi, Japan)Berlin Springer New York 1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1379 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Algorithms and complexity 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedingsItalian Conference on Algorithms and Complexity (4th 2000 Rome, Italy) Giancarlo Bongiovanni; G Gambosi 1955- (Giorgio); Rosella PetreschiBerlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1767 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Orders, algorithms, and applications International Workshop ORDAL '94, Lyon, France, July 4-8 1994 : proceedingsInternational Workshop ORDAL '94 (1994 Lyon, France) Vincent Bouchitté; Michel MorvanBerlin New York Springer-Verlag c1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.831 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
Machines, computations, and universality third international conference, MCU 2001, Chisinéau, Moldova, May 23-27, 2001 : proceedingsMCU 2001 (3rd 2001 Chi÷sinæau, Moldova) Maurice Margenstern; Yurii RogozhinBerlin Springer London c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2055 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Logic, automata, and algorithmsM. A Aæizerman 1913- (Mark Aronovich); Leonid A Gusev; L. I Rozonoer (Lev Ilʹich)New York Academic Press 1971Localização: ICMC - Inst. Ciên. Mat. Computação (68Q15.01 A299la e.1 ) e outros locais(Acessar) |