skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
OSDI '02 proceedings of the Fifth Symposium on Operating Systems Design and Implementation, December 09-11, 2002, Boston, Massachusetts,USA
OSDI '02 proceedings of the Fifth Symposium on Operating Systems Design and Implementation, December 09-11, 2002, Boston, Massachusetts,USA
Material Type:
Livro 		Adicionar ao Meu Espaço

OSDI '02 proceedings of the Fifth Symposium on Operating Systems Design and Implementation, December 09-11, 2002, Boston, Massachusetts,USA

Symposium on Operating Systems Design and Implementation (OSDI) (5th 2002 Boston, Massachusetts, USA.) ACM/SIGOPS

Berkerley,CALIF USENIX 2002

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

2
U.S.A. mathematical olympiads, 1972-1986
U.S.A. mathematical olympiads, 1972-1986
Material Type:
Livro 		Adicionar ao Meu Espaço

U.S.A. mathematical olympiads, 1972-1986

Murray S Klamkin Mathematical Association of America

Washington, D.C Mathematical Association of America c1988

Localização: IME - Inst. Matemática e Estatística    (QA45 U84 1972-1986 )(Acessar)

3
Advances in visual computing second International Symposium, ISVC 2006, Lake Tahoe, NV, USA November 6-8, 2006 : proceedings
Advances in visual computing second International Symposium, ISVC 2006, Lake Tahoe, NV, USA November 6-8, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in visual computing second International Symposium, ISVC 2006, Lake Tahoe, NV, USA November 6-8, 2006 : proceedings

International Symposium on Visual Computing (2nd 2006 Lake Tahoe, Nev.) Richard Boyle; Bahram Parvin; Darko Koracin; Paolo Remagnino; Ara Nefian; Gopi Meenakshisundaram; Valerio Pascucci; Jiri Zara; Jose Molineros; Holger Theisel; Thomas Malzbender; George Bebis

Berlin Springer c2006

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

4
Advances in spatial and temporal databases 10th international symposium, SSTD 2007, Boston, MA, USA, July 16-18 2007 : proceedings
Advances in spatial and temporal databases 10th international symposium, SSTD 2007, Boston, MA, USA, July 16-18 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Advances in spatial and temporal databases 10th international symposium, SSTD 2007, Boston, MA, USA, July 16-18 2007 : proceedings

SSTD 2007 (2007 : Boston, Mass.) Dimitris Papadias 1966; Donghui Zhang; George Kollios

Berlin Springer c2007

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

5
Bioinformatics research and applications third international symposium, ISBRA 2007, Atlanta GA, USA, May 7-10, 2007 : proceedings
Bioinformatics research and applications third international symposium, ISBRA 2007, Atlanta GA, USA, May 7-10, 2007 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Bioinformatics research and applications third international symposium, ISBRA 2007, Atlanta GA, USA, May 7-10, 2007 : proceedings

ISBRA 2007 (2007 Atlanta, Ga.) Ion Mæandoiu; Alexander Zelikovsky

Berlin Springer New York c2007

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

6
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
Material Type:
Livro 		Adicionar ao Meu Espaço

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Conference on Automated Deduction (6th 1982 New York, N.Y.) Donald W Loveland

Berlin Springer-Verlag New York 1982

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

7
Job scheduling strategies for parallel processing, IPPS'95 Workshop, Santa Barbara, CA, USA, april 25, 1995, proceedings
Job scheduling strategies for parallel processing, IPPS'95 Workshop, Santa Barbara, CA, USA, april 25, 1995, proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Job scheduling strategies for parallel processing, IPPS'95 Workshop, Santa Barbara, CA, USA, april 25, 1995, proceedings

Workshop on Job Scheduling Strategies for Parallel Processing (1995 : Santa Barbara, Us) (1995 Santa Barbara, CA, USA) Dror G Feitelson; Larry Rudolph

Berlin Springer 1995

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

8
Logic programming and nonmonotonic reasoning third international conference, LPNMR'95, Lexington, KY, USA, june 26-28, 1995
Logic programming and nonmonotonic reasoning third international conference, LPNMR'95, Lexington, KY, USA, june 26-28, 1995
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic programming and nonmonotonic reasoning third international conference, LPNMR'95, Lexington, KY, USA, june 26-28, 1995

International Conference on Logic Programming and Nonmonotonic Reasoning (3. 1995 Lexington, USA) V. Wiktor Marek; Anil Nerode; Miroslaw Truszczynski

Berlin Springer 1995

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

9
Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings
Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Theorem proving in higher order logics 17th international conference, TPHOLs 2004, Park City, Utah, USA September 14-17, 2004 ; proceedings

TPHOLs 2004 (2004 Utah, USA) Konrad Slind; Annette Bunker; Ganesh Gopalakrishnan

Berlin Springer 2004

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

10
Information hiding 8th international workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006 ; revised selected papers
Information hiding 8th international workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006 ; revised selected papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Information hiding 8th international workshop, IH 2006, Alexandria, VA, USA, July 10-12, 2006 ; revised selected papers

IH 2006 (2006 Alexandria, VA, USA) Phil Sallee; Neil F Johnson; Christian S Collberg; Jan L Camenisch

Berlin Springer 2007

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (1.007)
  2. Recursos Online (222)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (894)
  2. Artigos  (64)
  3. Produções Acadêmicas  (50)
  4. Produções Técnicas  (2)
  5. Software  (2)
  6. Revistas  (2)
  7. Audiovisuais  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1971  (35)
  2. 1971Até1983  (166)
  3. 1984Até1996  (371)
  4. 1997Até2010  (338)
  5. Após 2010  (111)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Goldman, A
  2. César Júnior, R
  3. AUTHOR, U
  4. Hitchin, N
  5. Barrera, J

Neste Assunto:

  1. Inteligência Artificial
  2. Inteligência Artificial (Congressos)
  3. Lógica Matemática
  4. Matemática
  5. Operadores

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

Buscando em bases de dados remotas. Favor aguardar.