11
Material Type:
Livro
STACS 98 15th annual Symposium on Theoretical Aspects of Computer Science , Paris, France, February 25-27, 1998 : proceedings
Symposium on Theoretical Aspects of Computer Science (15th 1998 Paris, France) Michel Morvan; Christoph Meinel; Daniel Krob
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1370 ) e outros locais(Acessar)
This feature requires javascript
12
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
13
Material Type:
Livro
STACS 2001 18th annual Symposium on Theoretical Aspects of Computer Science , Dresden, Germany, February 15-17, 2001 : proceedings
Symposium on Theoretical Aspects of Computer Science (18th 2001 Dresden, Germany) Afonso Ferreira; Horst Reichel
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2010 ) e outros locais(Acessar)
This feature requires javascript
14
Material Type:
Livro
Theoretical computer science
Theoretical Computer Science Conference, 4., Aachen, 1979 Klaus Weihrauch
Berlin Springer 1979
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.67 ) e outros locais(Acessar)
This feature requires javascript
15
Material Type:
Livro
Foundations of software technology and theoretical computer science 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
S 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 c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1346 ) e outros locais(Acessar)
This feature requires javascript
16
Material Type:
Livro
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings
V Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)
Berlin Springer London c1998
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.1530 ) (Acessar)
This feature requires javascript
17
Material Type:
Livro
STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science , Lübeck, Germany, February 27-March 1, 1997 : proceedings
Symposium on Theoretical Aspects of Computer Science (14th 1997 Lübeck, Germany) Rüdiger Reischuk; Michel Morvan
Berlin Springer New York c1997
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.1200 ) (Acessar)
This feature requires javascript
18
Material Type:
Livro
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science , Lille, France, February 17-19, 2000 : proceedings
Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie Tison
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1770 e.1 ) (Acessar)
This feature requires javascript
19
Material Type:
Livro
STACS 99 16th annual Symposium on Theoretical Aspects of Computer Science , Trier, Germany, March 4-6, 1999 : proceedings
Symposium on Theoretical Aspects of Computer Science (16th 1999 Trier, Germany) Christoph Meinel 1954-; Sophie Tison
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1563 ) (Acessar)
This feature requires javascript
20
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