Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Theoretical computer scienceTheoretical Computer Science Conference, 5., Karlsruhe, 1981 Peter DeussenBerlin Springer 1981Localização: IME - Inst. Matemática e Estatística (S L471c v.104 )(Acessar) |
|
2 |
Material Type: Livro
|
Theoretical computer scienceTheoretical Computer Science Conference, 4., Aachen, 1979 Klaus WeihrauchBerlin Springer 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.67 ) e outros locais(Acessar) |
|
3 |
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) |
|
4 |
Material Type: Livro
|
An Introduction to computer science an algorithmic approachJean-Paul Tremblay 1938- Richard B Bunt 1946-Auckland McGraw-Hill c1981Localização: IME - Inst. Matemática e Estatística (QA720.1 T789i )(Acessar) |
|
5 |
Material Type: Livro
|
Mathematical Foundations of Computer Science 1979BecvarSpringer Berlin Heidelberg 1979Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Livro
|
An introduction to computer science an algorithmic approachJean-Paul Tremblay 1938- Richard B Bunt 1946-New York McGraw-Hill c1981Localização: IME - Inst. Matemática e Estatística (QA720.1 T789i Short.ed. )(Acessar) |
|
7 |
Material Type: Livro
|
Graphtheoretic concepts in computer science proceedingsInternational Workshop on Graphtheoretic Concepts in Computer Science. 6., Bad Honnef, 1980 Hartmut NoltemeierBerlin Springer 1981Localização: IME - Inst. Matemática e Estatística (S L471c v.100 )(Acessar) |
|
8 |
Material Type: Livro
|
Graph-grammars and their application to computer science and biology proceedingsInternational Workshop on Graph Grammars and Their Applications To Computer Science and Biology (1. 1978 Bad Honneff) Volker Claus; Hartmut EhrigBerlin Springer 1979Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.73 e.1 ) e outros locais(Acessar) |
|
9 |
Material Type: Livro
|
20th annual Symposium on Foundations of Computer Science Oct. 29-31, 1979, San Juan Puerto RicoSymposium on Foundations of Computer Science (20th 1979 San Juan, Puerto Rico) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Puerto Rico; Institute of Electrical and Electronics EngineersNew York Institute of Electrical and Electronics Engineers 1979Localização: IME - Inst. Matemática e Estatística (QA800.C S989 20. )(Acessar) |
|
10 |
Material Type: Livro
|
Nonlinear programming via an exact penalty function asymptotic analysisThomas F. Coleman A. R Conn 1946- (Andrew Roger); University of Waterloo Dept. of Computer ScienceWaterloo, Ont. Dept. of Computer Science, University of Waterloo 1980Localização: IME - Inst. Matemática e Estatística (QA392 C692n )(Acessar) |