skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algorithmic aspects of regularity
Algorithmic aspects of regularity
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Algorithmic aspects of regularity

Yoshiharu Kohayakawa Vojtech Rodl; Latin American Symposium on Theoretical Informatics - LATIN (4. 2000 Punta del Este, Uruguay)

Proceedings Berlin : Springer, 2000

Berlin Springer 2000

Localização: IME - Inst. Matemática e Estatística    (PROD-1177683 ) e outros locais(Acessar)

2
Compression and entropy
Compression and entropy
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Compression and entropy

Georges Hansel Dominique Perrin; Imre Simon 1943-2009; Annual Symposium on Theoretical Aspects of Computer Science - STACS (9. 1992 Cachan, France)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

Localização: IME - Inst. Matemática e Estatística    (PROD-834804 ) e outros locais(Acessar)

3
Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]
Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods and hybrid real-time systems essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]

Dines Bjørner; Cliff B Jones; Zhiming Liu; Jim Woodcock; Festschrift Symposium (2007.09.24-25 : Macao); International Colloquium on Theoretical Aspects of Computing, ICTAC (4 : 2007.09. : Macao)

Berlin u.a. Springer 2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4700 ) e outros locais(Acessar)

4
Stacs 2000
Stacs 2000
Material Type:
Livro 		Adicionar ao Meu Espaço

Stacs 2000

Annual Symposium on Theoretical Aspects of Computer Science, 17 2000 Lille Horst Reichel; Sophie Tison

Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-

Berlin Springer-Verlag c2000

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.1770 )(Acessar)

5
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

6
STACS 2001 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings
STACS 2001 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

7
STACS 2002 19th annual Symposium on Theoretical Aspects of Computer Science, Antibes-Juan les Pins, France, March 14-16, 2002, proceedings
STACS 2002 19th annual Symposium on Theoretical Aspects of Computer Science, Antibes-Juan les Pins, France, March 14-16, 2002, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2002 19th annual Symposium on Theoretical Aspects of Computer Science, Antibes-Juan les Pins, France, March 14-16, 2002, proceedings

Symposium on Theoretical Aspects of Computer Science (19th 2002 Antibes-Juan les Pins, France) Helmut Alt 1950-; Afonso Ferreira

Berlin Springer London c2002

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2285 ) e outros locais(Acessar)

8
STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27-March 1, 2003 : proceedings
STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27-March 1, 2003 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27-March 1, 2003 : proceedings

Symposium on Theoretical Aspects of Computer Science (20th 2003 Berlin, Germany) Helmut Alt 1950-; M Habib (Michel)

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2607 )(Acessar)

9
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings
STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2004 21st Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings

Symposium on Theoretical Aspects of Computer Science (21st 2004 Montpellier, France) Volker Diekert 1955; M Habib (Michel)

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

10
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedings
STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedings

Symposium on Theoretical Aspects of Computer Science (22nd 2005 Stuttgart, Germany) Volker Diekert 1955; Bruno Durand

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (2)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (30)
  2. Artigos  (3)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.