1
|
Material Type: Livro
|
|
Theoretical computer science
Theoretical Computer Science Conference, 5., Karlsruhe, 1981 Peter Deussen
Berlin Springer 1981
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.104 )(Acessar)
|
2
|
Material Type: Livro
|
|
A basis for theoretical computer science
Michael A. Arbib (Michael Anthony) A. J Kfoury (Assaf J.) b. 1945-; Robert N Moll
New York Springer-Verlag c1981
Localização:
IME - Inst. Matemática e Estatística
(QA800 A664b )(Acessar)
|
3
|
Material Type: Livro
|
|
An Introduction to computer science an algorithmic approach
Jean-Paul Tremblay 1938- Richard B Bunt 1946-
Auckland McGraw-Hill c1981
Localização:
IME - Inst. Matemática e Estatística
(QA720.1 T789i )(Acessar)
|
4
|
Material Type: Livro
|
|
An introduction to computer science an algorithmic approach
Jean-Paul Tremblay 1938- Richard B Bunt 1946-
New York McGraw-Hill c1981
Localização:
IME - Inst. Matemática e Estatística
(QA720.1 T789i Short.ed. )(Acessar)
|
5
|
Material Type: Livro
|
|
Graphtheoretic concepts in computer science proceedings
International Workshop on Graphtheoretic Concepts in Computer Science. 6., Bad Honnef, 1980 Hartmut Noltemeier
Berlin Springer 1981
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.100 )(Acessar)
|
6
|
Material Type: Livro
|
|
Fundamental structures of computer science
William Allan Wulf
Reading, Mass. Addison-Wesley c1981
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.386 F962 ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
The Correctness problem in computer science
Robert S Boyer; J Strother Moore 1947-
London New York Academic Press 1981
Localização:
IME - Inst. Matemática e Estatística
(QA754.C3 B791c )(Acessar)
|
8
|
Material Type: Livro
|
|
Algorithms in modern mathematics and computer science proceedings
International Symposium on Algorithms in Modern Mathematical and Computer Science, Urgench, 1979 Andrei Ershov; Donald E Knuth
Berlin Springer 1981
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.122 )(Acessar)
|
9
|
Material Type: Livro
|
|
Mathematical logic in computer science papers
Colloquium on Mathematical Logic in Computer Science (1978 Salgotarjan) B Domolki; Gergely, T.; Colloquia Mathematica Societatis Janos Bolyai, 26, Salgotarjan, 1978 (26. 1978 Salgotarjan)
Amsterdam North-Holland 1981
Localização:
IME - Inst. Matemática e Estatística
(QA11.7.C D673m )(Acessar)
|
10
|
Material Type: Livro
|
|
A handbook of algorithms and data structures
Gaston H Gonnet
Waterloo, Ont. University of Waterloo, Computer Science Dept. c1981
Localização:
IME - Inst. Matemática e Estatística
(QA810 G639h )(Acessar)
|