1
Material Type:
Livro
CSL '87 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings
Workshop on Computer Science Logic (1st 1987 Karlsruhe, Germany) E Börger 1946- (Egon); H Kleine Büning (Hans); Michael M Richter 1938-
Berlin Springer-Verlag New York c1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.329 ex.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Introductory theory of computer science
E. V. Krishnamurthy (Edayathumangalam Venkatarama), b. 1934-
London Macmillan 1983
Localização:
IME - Inst. Matemática e Estatística
(QA810 K92i ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
STACS 88 theoretical aspects of computer science ; proceedings
Symposium on Theoretical Aspects of Computer Science (5th 1988 Bordeaux, France) R Cori; M Wirsing (Martin); Gesellschaft fur Informatik; Association française pour la cybernétique économique et technique
Berlin New York : Springer-Verlag 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.294 ex.1 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
The Turing omnibus 61 excursions in computer science
A. K. Dewdney
Rockville, MD Computer Science Press c1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68Z01 D513t e.1 ) (Acessar)
This feature requires javascript
5
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
6
Material Type:
Livro
Proceedings of the Thirty-Seventh Technical Symposium on Computer Science Education SIGCSE 2006: Houston, Texas March 1-5, 2006
ACM SIGCSE Technical Symposium on Computer Science Education (37th 2006 Houston, TX.) Association for Computing Machinery Special Interest Group on Computer Science Education
New York, N.Y. Association for Computing Machinery c2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(v.38 n.1 2006 e.1 ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
What can be automated? The computer science and engineering research study (COSERS)
Bruce W Arden
Cambridge, Mass. MIT Press 1980
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 Ar28w ) (Acessar)
This feature requires javascript
8
Material Type:
Livro
Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
LFCS '97 (4th 1997 Yaroslavl§, Russia (City)) S. I Adian 1931-; Anil Nerode 1932-; LFCS '97 (4th 1997 Yaroslavl§, Russia (City))
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1234 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
E-Book
41st Annual Symposium on Foundations of Computer Science 12 -14 November, 2000, Redondo Beach, California : [proceedings].
Symposium on Foundations of Computer Science (41st 2000 Redondo Beach, Calif.) IEEE Computer Society.; IEEE Xplore (Online service)
Los Alamitos, Calif. IEEE Computer Society c2000
Item não circula. Consulte sua biblioteca.(Acessar)
10
Material Type:
E-Book
40th Annual Symposium on Foundations of Computer Science 17 - 18 October, 1999, New York, New York [proceedings].
Symposium on Foundations of Computer Science (40th 1999 New York) IEEE Computer Society.; IEEE Xplore (Online service)
Los Alamitos, Calif. IEEE Computer Society c1999
Item não circula. Consulte sua biblioteca.(Acessar)