skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987
Material Type:
Livro
Adicionar ao Meu Espaço

31th Annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) : October 12-14, 1987

Symposium on Foundations of Computer Science (31th 1990 St. Louis, Missori) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Washington, D.C. Computer Society Press of the IEEE c1990

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 31 v.2 )(Acessar)

12
33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]
Material Type:
Livro
Adicionar ao Meu Espaço

33rd Annual Symposium on Foundations of Computer Science October 24-27, 1992, Pittsburg, Pennsylvania : proceedings [papers]

Symposium on Foundations of Computer Science (33rd 1992 Pittsburgh, Pa.) IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press 1992

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989 33. )(Acessar)

13
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Achieving optimality for gate matrix layout and pla folding a graph theoretical approach

Afonso Galvão Ferreira Siang Wun Song; Latin American Symposium on Theoretical Informatics - LATIN '92 (1992 São Paulo, BR)

Proceedings Berlin : Springer, 1992

Berlin Springer 1992

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

14
Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced intelligent computing theories and applications with aspects of theoretical and methodological issues; third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21 - 24, 2007; proceedings

De-Shuang Huang; Laurent Heutte; Marco Loog; International Conference on Intelligent Computing. <3, 2007, Qingdao>

Internetausg. Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues

Berlin Springer Heidelberg u.a. 2007

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

15
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

Localização: IME - Inst. Matemática e Estatística    (S L471c v.250 v.2 )(Acessar)

16
Advances in artificial life 6th European cConference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in artificial life 6th European cConference, ECAL 2001, Prague, Czech Republic, September 10-14, 2001 : proceedings

European Conference on Artificial Life (6th 2001 Prague, Czech Republic) Jozef Kelemen; Petr Sosík 1967-

Berlin Springer London c2001

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

17
Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in cryptology EUROCRYPT 2001 : International Conference on the Theory and Application of Cryptographic Techniques, Innsbruck, Austria, May 6-10, 2001 : proceedings

EUROCRYPT (2001 Innsbruck, Austria) Birgit Pfitzmann

Berlin Springer London c2001

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

18
Advances in learning classifier systems 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 2001 : revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in learning classifier systems 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 2001 : revised papers

IWLCS 2001 (2001 San Francisco, Calif.) Pier Luca Lanzi 1967-; Wolfgang Stolzmann 1966-; Stewart W Wilson 1937-

Berlin Springer New York 2002

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

19
Advances in learning classifier systems third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers
Material Type:
Livro
Adicionar ao Meu Espaço

Advances in learning classifier systems third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers

IWLCS 2000 (2000 Paris, France) Pier Luca Lanzi 1967-; Wolfgang Stolzmann 1966-; Stewart W Wilson 1937-

Berlin Springer New York c2001

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

20
Algebra, combinatorics and logic in computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Algebra, combinatorics and logic in computer science proceedings

Colloquia Mathematica Societatis Janos Bolyai (42. 1983 Budapest) Janos Demetrovics; Katona, Gyula; Salomaa, Arto; Colloquium on Algebra, Combinatorics and Logic inComputer Science (1983 : Gyor)

Amsterdam North-Holland 1986

Localização: IME - Inst. Matemática e Estatística    (QA11.7.C D377a v.2 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (8)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1977  (29)
  2. 1977Até1984  (45)
  3. 1985Até1992  (136)
  4. 1993Até2001  (146)
  5. Após 2001  (19)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.