skip to main content
Resultados 1 2 3 4 next page
Mostrar Somente
Refinado por: data de publicação: 1995Até2000 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Idempotency
Idempotency
Material Type:
Livro
Adicionar ao Meu Espaço

Idempotency

Jeremy Taylor, John M. Atiyah, Michael Moffatt, H. K. Gunawardena Michael Atiyah; Jeremy Gunawardena; John M Taylor; H. K Moffatt

Cambridge Cambridge University Press 1998

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

2
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]

ACM Symposium on Theory of Computing (32nd : 2000 : Portland, Or.) ACM Special Interest Group for Algorithms and Computation Theory.

New York, N.Y. ACM Press ACM Order Dept., distributor 2000

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

3
Foundations of software technology and theoretical computer science proceedings [of the] 15 th conference, bangalore, india, december 18-20, 1995
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science proceedings [of the] 15 th conference, bangalore, india, december 18-20, 1995

Conference on Foundations of Software Technology and Theoretical Computer Science (15. 1995 Bangalore, In) P S Thiagarajan

Berlin Springer 1995

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

4
Foundations of software technology and theoretical computer science proceedings [of the] 16th conference, hyderabad, india, december 18-20, 1996
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science proceedings [of the] 16th conference, hyderabad, india, december 18-20, 1996

Conference on Foundations of Software Technology and Theoretical Computer Science (16. 1996 Hyderabad, In) Vijay Chandru; V Vinay

Berlin Springer 1996

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

5
Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995

Workshop on Computer Science Logic (9. 1995 Paderborn, De) H. Kleine Buning

Berlin Springer 1996

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

6
Representations of Discrete Functions
Representations of Discrete Functions
Material Type:
Livro
Adicionar ao Meu Espaço

Representations of Discrete Functions

Tsutomu Fujita, Masahiro Sasao Masahira Fujita; Masahiro Fujita

Springer US 1996

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

7
Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1-4, 1999
Material Type:
Livro
Adicionar ao Meu Espaço

Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing : Atlanta, Georgia, May 1-4, 1999

ACM Symposium on Theory of Computing (31st : 1999 : Atlanta, Ga.) ACM Special Interest Group for Algorithms and Computation Theory.

New York, N.Y. : ACM Press : ACM Order Dept., distributor 1999

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

8
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands) D. van Dalen 1932- (Dirk); M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996

Berlin Springer New York c1997

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

9
Concur'95 concurrency theory : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Concur'95 concurrency theory : proceedings

International Conference on Concurrency Theory (6. 1995 Philadelphia, USA) Insup Lee; Scott A Smolka

Berlin Springer 1995

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

10
Applied algebra, algebraic algorithms and error-correcting codes proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Applied algebra, algebraic algorithms and error-correcting codes proceedings

International Conference on Applied Algebra, Algorithmics and Error-Correcting Codes - AAECC (11. 1995 Paris, France) Gerard Cohen; Marc Giusti; Teo Mora

Berlin Springer 1995

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

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)
  2. Disponível na Biblioteca (29)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (31)
  2. Anais de Congresso  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1995  (1)
  2. 1995Até1995  (7)
  3. 1996Até1996  (5)
  4. 1997Até1998  (17)
  5. Após 1998  (5)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.