Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
31 |
Material Type: Livro
|
STACS 2001 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedingsSymposium on Theoretical Aspects of Computer Science (18th 2001 Dresden, Germany) Afonso Ferreira; Horst ReichelBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2010 ) e outros locais(Acessar) |
|
32 |
Material Type: Revista
|
Theoretical computer science Part A Algorithms, automata, complexity and gamesAmsterdam Elsevier 1991-Localização: IME - Inst. Matemática e Estatística (Acessar) |
|
33 |
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) |
|
34 |
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) |
|
35 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedingsS Ramesh; G Sivakumar; Conference on Software Technology and Theoretical Computer Science Kharagpur, India) 1997; Conference on Foundations of Software Technology and Theoretical Computer Science (17. 1997 Kharagpur, IN)Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1346 ) e outros locais(Acessar) |
|
36 |
Material Type: Revista
|
Theoretical computer science Part B Logic, semantics and theory of programmingAmsterdam North-Holland 1991-Acesso online. A biblioteca também possui exemplares impressos. |
|
37 |
Material Type: Livro
|
Exploring computer science with SchemeOliver GrillmeyerNew York Springer c1998Item não circula. Consulte sua biblioteca.(Acessar) |
|
38 |
Material Type: Livro
|
Foundations of software technology and theoretical computer science 19th conference, Chennai, India, December 13-15, 1999 : proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (19th 1999 Chennai, India) V Raman 1962- (Venkatesh); C Pandu Rangan 1955-; R RamanujamBerlin Springer New York 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1738 e.1 )(Acessar) |
|
39 |
Material Type: Livro
|
Graph-theoretic concepts in computer science 20th international workshop, WG '94, Herrsching, Germany, June 16-18, 1994 : proceedingsErnst Mayr; Gunther Schmidt 1939-; Gottfried Tinhofer; International Workshop on Graph-Theoretic Concepts in Computer Science (20th 1994 Herrsching, Germany)Berlin Springer New York c1995Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.903 ) e outros locais(Acessar) |
|
40 |
Material Type: Livro
|
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedingsInternational Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |