skip to main content
Idioma:
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
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings
FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FM 2005 formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 proceedings

International Symposium of Formal Methods Europe (13th 2005 Newcastle upon Tyne, England) John Fitzgerald 1965-; Ian Hayes; Andrzej Tarlecki

Berlin Springer New York 2005

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

2
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)

3
FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME '93 industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings

International Symposium of Formal Methods Europe (1st 1993 Odense, Denmark) Jim Woodcock; P. G Larsen 1964- (Peter Gorm)

Berlin New York Springer-Verlag c1993

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

4
Mathematical linguistics in Eastern Europe
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical linguistics in Eastern Europe

Ferenc Kiefer

New York American Elsevier Pub. Co. 1968

Localização: IME - Inst. Matemática e Estatística    (QA858 K47m )(Acessar)

5
Towards a CSCW Framework for Scientific Cooperation in Europe
Towards a CSCW Framework for Scientific Cooperation in Europe
Towards a CSCW Framework for Scientific Cooperation in Europe
Material Type:
Livro 		Adicionar ao Meu Espaço

Towards a CSCW Framework for Scientific Cooperation in Europe

Hannes P. Lubich

Springer Berlin Heidelberg 1995

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

6
Parle 94 parallel architectures and languages europe : proceedings
Parle 94 parallel architectures and languages europe : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Parle 94 parallel architectures and languages europe : proceedings

Conference on Parallel Architectures and Languages Europe (6. 1994 Athens) Costas Halatsis; Dimitrios Maritsas

Berlin Springer 1994

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

7
The language of physics the calculus and the development of theoretical physics in Europe, 1750-1914
The language of physics the calculus and the development of theoretical physics in Europe, 1750-1914
Material Type:
Livro 		Adicionar ao Meu Espaço

The language of physics the calculus and the development of theoretical physics in Europe, 1750-1914

Elizabeth Garber

Boston Birkhäuser c1999

Localização: EACH - Esc. Artes, Ciências e Humanidades    (530.1509 G213L ) e outros locais(Acessar)

8
Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008 : proceedings
Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008 : proceedings

Conference on Computability in Europe (4th 2008 Athens, Greece) Arnold Beckmann; Costas Dimitracopoulos; Benedikt Löwe

Berlin Springer 2008

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

9
FME 2001 formal methods for increasing software productivity ; International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 ; proceedings
FME 2001 formal methods for increasing software productivity ; International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 ; proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

FME 2001 formal methods for increasing software productivity ; International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 ; proceedings

Formal Methods Europe (Organisation) International Symposium 2001.) José N Oliveira; Pamela Zave 1948-

Berlin Springer London c2001

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

10
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.

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (79)
  2. Recursos Online (10)

Refinar Meus Resultados

Tipo de Recurso 

  1. Livros  (73)
  2. Produções Acadêmicas  (4)
  3. Artigos  (3)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1982  (7)
  2. 1982Até1993  (11)
  3. 1994Até1999  (23)
  4. 2000Até2007  (22)
  5. Após 2007  (17)
  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.