Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Logic and machines decision problems and complexitySymposium on Rekursive Kombinatorik, Munster, 1983 E Borger; Gisbert HasenjaegerBerlin Springer 1984Localização: IME - Inst. Matemática e Estatística (S L471c v.171 )(Acessar) |
|
12 |
Material Type: Livro
|
Proceedings of the Twenty-Fifth Summer Meeting of the Canadian Mathematical Congress June 16-18, 1971 = Comptes Rendus de la Vingt-Cinqui eme R eunion d'Et e de la Soci et e Math ematique du Canada : du 16 au 18 juin 1971W.R Eames; Ralph G Stanton; R. C Thomas; Canadian Mathematical Society Summer SeminarWinnipeg Utilitas Mathematica Publishing 1971Localização: IME - Inst. Matemática e Estatística (QA800.C C212p )(Acessar) |
|
13 |
Material Type: Livro
|
IdempotencyJeremy Taylor, John M. Atiyah, Michael Moffatt, H. K. Gunawardena Michael Atiyah; Jeremy Gunawardena; John M Taylor; H. K MoffattCambridge Cambridge University Press 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
14 |
Material Type: Livro
|
Symbolic and algebraic computation proceedingsInternational Symposium on Symbolic and AlgebraicManipulation, 2., Marseille, 1979 Edward W NgBerlin Springer 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.72 ) e outros locais(Acessar) |
|
15 |
Material Type: Livro
|
FSTTCS 2005 foundations of software technology and theoretical computer science 25th international conference, Hyderabad, India, December 15-18, 2005 proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (25th 2005 Hyderabad, India) R Ramanujam; Sandip Sen; SpringerLink (Online service)Berlin Springer c2005Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3821 ) e outros locais(Acessar) |
|
16 |
Material Type: Livro
|
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]ACM Symposium on Theory of Computing (32nd : 2000 : Portland, Or.) ACM Special Interest Group for Algorithms and Computation Theory.New York, N.Y. ACM Press ACM Order Dept., distributor 2000Localização: IME - Inst. Matemática e Estatística (QA800.C S989r 32. )(Acessar) |
|
17 |
Material Type: Livro
|
ProceedingsJ.-C. Raoult (Jean-Claude) Colloquium on trees in algebra and programming (17th 1992 Rennes)Berlin Springer 1992Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.581 e.1 ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science proceedingsRudrapatna Shyamasundar; Conference on Foundations of Software Technology and Theoretical Computer Science (12th 1992 New Delhi, Ii)Berlin Springer 1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.652 e.1 ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science proceedingsConference on Foundations of Software Technology and Theoretical Computer Science, 10., Bangalore, 1990 Kesav V NoriBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.472 e.1 ) e outros locais(Acessar) |
|
20 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science proceedings [of the] 15 th conference, bangalore, india, december 18-20, 1995Conference on Foundations of Software Technology and Theoretical Computer Science (15. 1995 Bangalore, In) P S ThiagarajanBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1026 ) e outros locais(Acessar) |