skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Deontic logic in computer science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

International Workshop on Deontic Logic in Computer Science (7th 2004 Madeira, Portugal) Alessio Lomuscio; Donald Nute 1947

Berlin Springer New York c2004

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

12
Quantum computer science: an introduction
Quantum computer science: an introduction
Quantum computer science: an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Quantum computer science: an introduction

N. David Mermin

Cambridge University Press 2007

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

13
Scientific Annals of Computer Science
Material Type:
Revista 		Adicionar ao Meu Espaço

Scientific Annals of Computer Science

Romania Alexandru Ioan Cuza University of Iasi

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

14
Bulletin of the European Association for Theoretical Computer Science
Bulletin of the European Association for Theoretical Computer Science
Material Type:
Revista 		Adicionar ao Meu Espaço

Bulletin of the European Association for Theoretical Computer Science

Leiden, Netherlands EATCS

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

15
International Journal of Foundations of Computer Science
Material Type:
Revista 		Adicionar ao Meu Espaço

International Journal of Foundations of Computer Science

Singapore World Scientific

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

16
Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science
Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science
Material Type:
Livro 		Adicionar ao Meu Espaço

Sofsem 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Coputer Science

Maria Bielikov Editor edt Ondrej S ykora Editor edt; Peter Vojt s Editor edt Charon-Bost Editor edt

New York Springer March 2005

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

17
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

CALCO 2005 (Swansea, Wales) Neil Harman; Markus Roggenbach; Jan Rutten; Jos e Luiz Fiadeiro 1961

Berlin Springer New York c2005

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

18
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings

Workshop on Computer Science Logic (19th 2005 Oxford, England) European Association for Computer Science Logic Conference 2005 Oxford, England)

Berlin Springer New York c2005

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

19
FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings
FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FSTTCS 2004 foundations of software technology and theoretical computer science 24th international conference, Chennai, India, December 16-18, 2004 proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science (24th 2004 Madras, India) Kamal Lodaya; Meena Mahajan

Berlin Springer New York c2004

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

20
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings
Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in computer science ASIAN 2005 : data management on the Web ; 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005 proceedings

Asian Computing Science Conference (10th 2005 Kunming Shi, China) St ephane Grumbach; Liying Sui; Victor Vianu

Berlin Springer New York c2005

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

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Disponível na Biblioteca (877)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (855)
  2. Revistas  (16)
  3. Artigos  (7)
  4. Produções Acadêmicas  (5)
  5. Outros  (4)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1981  (23)
  2. 1981Até1990  (48)
  3. 1991Até2000  (125)
  4. 2001Até2011  (652)
  5. Após 2011  (39)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.