skip to main content
Idioma:
Mostrar Somente
Refinado por: nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 proceedings

International Conference on Integrated Formal Methods (6th 2007 Oxford, UK) Jim Davies; Jeremy Gibbons

Berlin Springer 2007

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

2
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Algebraic and coalgebraic methods in the mathematics of program construction international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures

School on Algebraic and Co-algebraic Methods in the Mathematics of Program Construction (2000 University of Oxford) Roland C Backhouse 1948-; Roy L Crole; Jeremy Gibbons 1966-

Berlin Springer New York c2002

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

3
Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures
Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Datatype-generic programming international spring school, SSDGP 2006, Nottingham, UK, April 24-27, 2006 : revised lectures

SSDGP 2006 (2006 Nottingham, England) Jeremy Gibbons; Ralf Hinze; Johan Jeuring; Roland C Backhouse 1948

Berlin Springer New York c2007

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

4
Ecological Census Techniques: A Handbook
Ecological Census Techniques: A Handbook
Ecological Census Techniques: A Handbook
Material Type:
Livro 		Adicionar ao Meu Espaço

Ecological Census Techniques: A Handbook

Sutherland William J Sutherland

Cambridge Cambridge University Press 2006

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

5
The origins of a climate oscillation
The origins of a climate oscillation
Material Type:
Outros 		Adicionar ao Meu Espaço

The origins of a climate oscillation

Antônio Delfim Netto 1928-

S.l. s.n 200-

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (C8.4.9 )(Acessar)

6
Presentes do passado
Presentes do passado
Material Type:
Outros 		Adicionar ao Meu Espaço

Presentes do passado

Antônio Delfim Netto 1928-

S.l. s.n. 20--

Localização: FEA - Fac. Econ. Adm. Contab. e Atuária  ACERVO DELFIM NETTO  (B27.12.10 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.