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
Teaching formal methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
Teaching formal methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Teaching formal methods CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings

TFM 2004 (2004 Ghent, Belgium) Neville Dean; R. T Boute (Raymond T.); LINK (Online service)

Berlin Springer New York c2004

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

2
Proceedings of the 1997 EUMETSAT Meteorological Satellite Data Users' Conference, Brussels, Belgium, 29th September-3rd October 1997
Proceedings of the 1997 EUMETSAT Meteorological Satellite Data Users' Conference, Brussels, Belgium, 29th September-3rd October 1997
Material Type:
Livro 		Adicionar ao Meu Espaço

Proceedings of the 1997 EUMETSAT Meteorological Satellite Data Users' Conference, Brussels, Belgium, 29th September-3rd October 1997

Meteorological Satellite Data Users' Conference (1997 : Brussels, Belgium.) EUMETSAT (Organization)

Darmstadt, Germany EUMETSAT 1997

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

3
ECOOP '98 - object-oriented programming 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings
ECOOP '98 - object-oriented programming 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

ECOOP '98 - object-oriented programming 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings

European Conference on Object-Oriented Programming (12th 1998 Brussels, Belgium) Eric Jul

Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-

Berlin Springer New York c1998

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

4
System configuration management ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings
System configuration management ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

System configuration management ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings

ECOOP'98 SCM-8 Symposium (1998 Brussels, Belgium) Boris Magnusson

Berlin Springer New York c1998

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

5
Equadiff 2003 International Conference on Differential Equations Hasselt, Belgium, 22-26 July 2003
Equadiff 2003 International Conference on Differential Equations Hasselt, Belgium, 22-26 July 2003
Material Type:
Livro 		Adicionar ao Meu Espaço

Equadiff 2003 International Conference on Differential Equations Hasselt, Belgium, 22-26 July 2003

International Conference on Differential Equations (2003 Hasselt, Belgium) Freddy Dumortier

Hackensack, NJ World Scientific c2005

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

6
Static analysis First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings
Static analysis First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Static analysis First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings

International Static Analysis Symposium (1st 1994 Namur, Belgium) Baudouin Le Charlier 1950-

Berlin New York Springer-Verlag c1994

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

7
Fast software encryption 9th international workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002 : revised papers
Fast software encryption 9th international workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002 : revised papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Fast software encryption 9th international workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002 : revised papers

FSE 2002 (2002 Louvain, Belgium) Joan Daemen 1965-; Vincent Rijmen 1970-

Berlin Springer New York c2002

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

8
Semi-markov models theory and applications. International Symposium on Semi-Markov Processes and Their Applications, held on June 4-7, 1984 in Brussels, Belgium
Semi-markov models theory and applications. International Symposium on Semi-Markov Processes and Their Applications, held on June 4-7, 1984 in Brussels, Belgium
Material Type:
Livro 		Adicionar ao Meu Espaço

Semi-markov models theory and applications. International Symposium on Semi-Markov Processes and Their Applications, held on June 4-7, 1984 in Brussels, Belgium

International Symposium on Semi-Markov Processes and Their Applications (1984 Brussels, Belgium) Jacques Janssen

New York Plenum Press 1986

Localização: ICMC - Inst. Ciên. Mat. Computação    (62-06 J35s e.1 ) e outros locais(Acessar)

9
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers
Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Multiparadigm programming in Mozart/OZ second international conference, MOZ 2004, Charleroi, Belgium October 7-8, 2004 ; revised selected and invited papers

Peter Van-Roy; MOZ 2004 (2nd 2004 Charleroi, Belgium)

Berlin Springer 2005

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

10
Coordination models and languages 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings
Coordination models and languages 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Coordination models and languages 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings

COORDINATION 2005 (2005 Namur, Belgium) J.-M Jacquet (Jean-Marie); Gian Pietro Picco

Berlin Springer New York 2005

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3454 ) e outros locais(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 (9)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (52)
  2. Artigos  (14)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (6)
  2. 1988Até1995  (12)
  3. 1996Até2001  (18)
  4. 2002Até2009  (24)
  5. Após 2009  (6)
  6. Mais opções open sub menu

Idioma 

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