Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
A basis for theoretical computer scienceMichael A. Arbib (Michael Anthony) A. J Kfoury (Assaf J.) b. 1945-; Robert N MollNew York Springer-Verlag c1981Localização: IME - Inst. Matemática e Estatística (QA800 A664b )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedingsV Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)Berlin Springer London c1998Localização: IME - Inst. Matemática e Estatística (S L471c v.1530 )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Algorithms and theory of computation handbookMikhail J AtallahBoca Raton CRC Press c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.01 A396 e.1 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable InformationCicalese, FerdinandoBerlin, Heidelberg: Springer Nature 2013Texto completo disponível |
5 |
Material Type: Livro
|
![]() |
FST TCS 2000 foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (20th 2000 New Delhi, India) Sanjiv Kapoor 1959-; Sanjiva PrasadBerlin Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1974 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Theoretical computer science essays in memory of Shimon EvenShimon Even; Oded Goldreich; Arnold L Rosenberg 1941; Alan L SelmanBerlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3895 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Fundamentals of computation theory 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedingsFCT 2001 (2001 Råiga, Latvia) Rusins FreivaldsBerlin New York Barcelona London Springer c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2138 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Fundamentals of computation theory 14th international symposium, FCT 2003, Malmö, Sweden, August 12-15 2003 : proceedingsFCT 2003 (2003 Malmö, Sweden) Andrzej Lingas; Bengt J NilssonBerlin Springer New York c2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2751 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Fundamentals of computation theoryFCT '85 (1985 Cottbus, Germany) L Budach 1935- (Lothar)Berlin New York Springer-Verlag c1985Localização: EPBC - Esc. Politécnica-Bib Central (004 In8f ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Fundamentals of computation theory 12th International Symposium, FCT'99, Ia÷si, Romania, August 30-September 3, 1999 : porceedingsFCT'99 (1999 Ia÷si, Romania) Gabriel Ciobanu; Gheorghe Pæaun 1950-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1684 e.1 )(Acessar) |