1
Material Type:
Livro
Mathematical structures for computer science
Judith L. Gersting
New York Computer Science c1993
Localização:
EPBC - Esc. Politécnica-Bib Central
(51 G326m3 ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
STACS 93 10th Annual Symposium on Theoretical Aspects of Computer Science , Würzburg, Germany, February 25-27, 1993 : proceedings
Symposium on Theoretical Aspects of Computer Science (10th 1993 Würzburg, Germany) P Enjalbert (Patrice); A Finkel; K. W Wagner (Klaus W.)
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.665 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Computer science logic 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Workshop on Computer Science Logic (6th 1992 San Miniato, Italy) E Börger 1946- (Egon)
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.702 e.1 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science , Montreal, Canada, June 19-23, 1993
Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, Calif. IEEE Computer Society Press c1993
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.42 Ie2L 8. ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Graph-theoretic concepts in computer science proceedings
International Workshop on Graphtheoretic Conceptsin Computer Science (18. 1992 Wiesbaden-Naurod) Ernst W Mayr
Berlin Springer 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.657 ex.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Foundations of software technology and theoretical computer science proceedings
Conference on Foundations of Software Technology and Theoretical Computer Science (13. 1993 Bombay) Rudrapatna Shyamasundar
Berlin Springer 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.761 e.1 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Foundations of software technology and theoretical computer science proceedings
Rudrapatna Shyamasundar; Conference on Foundations of Software Technology and Theoretical Computer Science (12th 1992 New Delhi, Ii)
Berlin Springer 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.652 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
The (new) turing omnibus 66 excursions in computer science
A. K. Dewdney
New York Computer Science c1993
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.62 D513n ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
34th Annual Symposium on Foundations of Computer Science November 3-5, 1993, Palo Alto, California : proceedings [papers]
Symposium on Foundations of Computer Science (34th 1993 Palo Alto, CA.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Los Alamitos, CA IEEE Computer Society Press 1993
Localização:
IME - Inst. Matemática e Estatística
(QA800.C S989 34. ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
Mathematical logic for computer science
M. Ben-Ari 1948-
New York Prentice Hall 1993
Localização:
IME - Inst. Matemática e Estatística
(QA11.7 B456m e.1 ) (Acessar)
This feature requires javascript