skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Logic and machines decision problems and complexity
Logic and machines decision problems and complexity
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and machines decision problems and complexity

Symposium on Rekursive Kombinatorik, Munster, 1983 E Borger; Gisbert Hasenjaeger

Berlin Springer 1984

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

12
Proceedings of the Twenty-Fifth Summer Meeting of the Canadian Mathematical Congress June 16-18, 1971 = Comptes Rendus de la Vingt-Cinqui eme R eunion d'Et e de la Soci et e Math ematique du Canada : du 16 au 18 juin 1971
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the Twenty-Fifth Summer Meeting of the Canadian Mathematical Congress June 16-18, 1971 = Comptes Rendus de la Vingt-Cinqui eme R eunion d'Et e de la Soci et e Math ematique du Canada : du 16 au 18 juin 1971

W.R Eames; Ralph G Stanton; R. C Thomas; Canadian Mathematical Society Summer Seminar

Winnipeg Utilitas Mathematica Publishing 1971

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

13
Idempotency
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.

14
Symbolic and algebraic computation proceedings
Symbolic and algebraic computation proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Symbolic and algebraic computation proceedings

International Symposium on Symbolic and AlgebraicManipulation, 2., Marseille, 1979 Edward W Ng

Berlin Springer 1979

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

15
FSTTCS 2005 foundations of software technology and theoretical computer science 25th international conference, Hyderabad, India, December 15-18, 2005 proceedings
FSTTCS 2005 foundations of software technology and theoretical computer science 25th international conference, Hyderabad, India, December 15-18, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FSTTCS 2005 foundations of software technology and theoretical computer science 25th international conference, Hyderabad, India, December 15-18, 2005 proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (25th 2005 Hyderabad, India) R Ramanujam; Sandip Sen; SpringerLink (Online service)

Berlin Springer c2005

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

16
Proceedings of the Thirty Second Annual ACM Symposium on Theory of Computing Portland, Oregon, May 21-23, [2000]
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)

17
Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings

J.-C. Raoult (Jean-Claude) Colloquium on trees in algebra and programming (17th 1992 Rennes)

Berlin Springer 1992

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

18
Foundations of software technology and theoretical computer science proceedings
Foundations of software technology and theoretical computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science proceedings

Rudrapatna Shyamasundar; Conference on Foundations of Software Technology and Theoretical Computer Science (12th 1992 New Delhi, Ii)

Berlin Springer 1993

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

19
Foundations of software technology and theoretical computer science proceedings
Foundations of software technology and theoretical computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, 10., Bangalore, 1990 Kesav V Nori

Berlin Springer 1990

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

20
Foundations of software technology and theoretical computer science proceedings [of the] 15 th conference, bangalore, india, december 18-20, 1995
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)

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1983  (16)
  2. 1983Até1989  (11)
  3. 1990Até1994  (27)
  4. 1995Até2000  (34)
  5. Após 2000  (69)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (155)
  2. Francês  (1)
  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.