skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computability, Enumerability, Unsolvability: Directions in recursion theory
Computability, Enumerability, Unsolvability: Directions in recursion theory
Computability, Enumerability, Unsolvability: Directions in recursion theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability, Enumerability, Unsolvability: Directions in recursion theory

S. C. Bruce, J. W. Coutinho S. B Cooper; S. Barry Cooper; T. A Slaman; Theodore Allen Slaman; S. S Wainer S. S. Wainer T. A. Slaman

Cambridge Cambridge University Press 1996

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

2
Alan Turing : his work and impact
Alan Turing : his work and impact
Alan Turing : his work and impact
Material Type:
Livro 		Adicionar ao Meu Espaço

Alan Turing : his work and impact

S. Barry Cooper S. Barry Cooper; Jan Leeuwen; Alan Mathison Turing; J van Leeuwen J. van Leeuwen

Elsevier 2013

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

3
Lectures on the Asymptotic Theory of Ideals
Lectures on the Asymptotic Theory of Ideals
Lectures on the Asymptotic Theory of Ideals
Material Type:
Livro 		Adicionar ao Meu Espaço

Lectures on the Asymptotic Theory of Ideals

D. Rees S. B Cooper; N. J Hitchin

Cambridge Cambridge University Press 1988

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

4
Computability in context computation and logic in the real world
Computability in context computation and logic in the real world
Material Type:
Livro 		Adicionar ao Meu Espaço

Computability in context computation and logic in the real world

S. B Cooper (S. Barry); Andrea Sorbi 1956-

London Imperial College Press Hackensack, NJ Distributed by World Scientific c2011

Localização: IME - Inst. Matemática e Estatística    (QA824.5.C3 C778c )(Acessar)

5
Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Material Type:
Livro 		Adicionar ao Meu Espaço

Sets and proofs: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

S. Barry Cooper John K Truss Association for Symbolic Logic.; S. B Cooper John K. Truss

Cambridge University Press 1999

Acesso online

6
New computational paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings
New computational paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

New computational paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, the Netherlands, June 8-12, 2005 ; proceedings

Conference on Computability in Europe (1st 2005 Amsterdam, Netherlands) S. B Cooper (S. Barry); Benedikt L owe; Leen Torenvliet

Berlin Springer New York c2005

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

7
Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings
Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings

Conference on Computability in Europe (3rd 2007 Siena, Italy) S. B Cooper (S. Barry); Benedikt L owe; Andrea Sorbi 1956

Berlin Springer New York c2007

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

8
Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Material Type:
Livro 		Adicionar ao Meu Espaço

Sets and proofs invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Logic Colloquium (1997 Leeds, England) S. B Cooper (S. Barry); J. K Truss; Association for Symbolic Logic

Cambridge Cambridge University Press New York 1999

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (511.3 L831s )(Acessar)

9
Theory and applications of models of computation third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings
Theory and applications of models of computation third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory and applications of models of computation third international conference, TAMC 2006, Beijing, China, May 15-20, 2006 : proceedings

TAMC 2006 (2006 Beijing, China) Jin-yi Cai 1961; S. B Cooper (S. Barry); Angsheng Li

Berlin Springer 2006

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

10
Optimizing education resources
Optimizing education resources
Material Type:
Livro 		Adicionar ao Meu Espaço

Optimizing education resources

Herbert J Walberg; Bruce S Cooper; Sheree T Speakman

Greenwich, Conn. JAI Press c1996

Localização: FE - Faculdade de Educação    (379.32(73) O62 )(Acessar)

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (24.247)
  2. Revistas revisadas por pares (19.120)
  3. Disponível na Biblioteca (82)

Data de Publicação 

De até
Refinar
  1. Antes de1959  (595)
  2. 1959Até1974  (1.050)
  3. 1975Até1990  (2.950)
  4. 1991Até2007  (7.880)
  5. Após 2007  (11.779)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (24.267)
  2. Japonês  (2.164)
  3. Norueguês  (23)
  4. Português  (23)
  5. Alemão  (22)
  6. Francês  (21)
  7. Russo  (14)
  8. Espanhol  (7)
  9. Italiano  (5)
  10. Coreano  (3)
  11. Vários idiomas  (2)
  12. Latim  (2)
  13. Holandês  (2)
  14. Africâner  (1)
  15. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Cooper, M
  2. Delfim Netto, A
  3. Cooper, S
  4. Cooper, A
  5. Cooper, G

Neste Assunto:

  1. Science & Technology
  2. Life Sciences & Biomedicine
  3. Humans
  4. Male
  5. Female

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

Buscando em bases de dados remotas. Favor aguardar.