Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computer scienceAlfonso F. Cardenas Leon Presser; Miguel A MarinNew York Wiley-Interscience 1972Localização: IME - Inst. Matemática e Estatística (QA700.C3 C266c )(Acessar) |
|
2 |
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) |
|
3 |
Material Type: Livro
|
Digital Libraries in Computer Science: The MeDoc ApproachAndreas Barth Andreas Barth; Michael Breu; Albert Endres; G Goos; Arnoud de KempSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Foundations of computer scienceAlfred V. Aho Jeffrey D. Ullman 1942-New York : Computer Science Press c1995Localização: IME - Inst. Matemática e Estatística (QA758 A286f )(Acessar) |
|
5 |
Material Type: Revista
|
Theoretical Computer ScienceNETHERLANDS ElsevierAcesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
Linear Logic in Computer ScienceWilliam Tuncel, Selim Parry Thomas Ehrhard; Jean-Yves Girard; Paul Ruet; Philip Scott Jean-Yves Girard Paul Ruet Philip Scott; London Mathematical Society.Cambridge Cambridge University Press 2004Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
Fete of Combinatorics and Computer ScienceH. Paul Shuch Gyula O.H Katona; Alexander Schrijver; Tamás SzönyiSpringer Berlin Heidelberg 2010Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Livro
|
Proceedings of a Conference on Theoretical Computer Science, August 15-17, 1977, University of Waterloo, Waterloo, Ontario, CanadaConference on Theoretical Computer Science (1977 University of Waterloo) University of Waterloo Mathematical Research DivisionWaterloo, Ont. Computer Science Dept., University of Waterloo 1977Localização: IME - Inst. Matemática e Estatística (QA800.C C748p )(Acessar) |
|
9 |
Material Type: Livro
|
Combinatorics for computer scienceS. Gill Williamson (Stanley Gill)Rockville, Md. Computer Science Press c1985Localização: IME - Inst. Matemática e Estatística (QA830 W732c )(Acessar) |
|
10 |
Material Type: Livro
|
Mathematical structures for computer scienceJudith L. Gersting 1940-New York Computer Science c1993Localização: EPBC - Esc. Politécnica-Bib Central (51 G326m3 )(Acessar) |