skip to main content
Idioma:
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming in Martin-Löf's type theory an introduction
Programming in Martin-Löf's type theory an introduction
Material Type:
Livro 		Adicionar ao Meu Espaço

Programming in Martin-Löf's type theory an introduction

Bengt Nordström Kent Petersson; Jan M Smith

Oxford New York Clarendon Press Oxford University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA9.55 N832p )(Acessar)

2
Arsenic environmental geochemistry, mineralogy, and microbiology
Arsenic environmental geochemistry, mineralogy, and microbiology
Material Type:
Livro 		Adicionar ao Meu Espaço

Arsenic environmental geochemistry, mineralogy, and microbiology

Robert J Bowell (Robert John) author editor writer of preface; Charles N Alpers 1958- author editor writer of preface; Heather Edith Jamieson 1953- author editor writer of preface; Darrell Kirk Nordstrom author editor writer of preface; Juraj Majzlan author, editor, writer of preface; Environmental Geochemistry, Mineralogy, and Microbiology of Arsenic (Short course) (2014 : Nevada City, Calif.)

Chantilly, Virginia Mineralogical Society of America 2014

Localização: IGC - Instituto de Geociências    (553.47 A781 )(Acessar)

3
Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994
Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Types for proofs and programs selected papers of the international workshop on types for proofs and programs, types'94, held in bastad, sweden, june 6-10, 1994

Workshop on Types for Proofs and Programs (2. 1994 Bastad) Peter Dybjer; Bengt Nodstrom

Berlin Springer 1995

Localização: IFSC - Inst. Física de São Carlos    (P621.38195 L471 v.996 ) e outros locais(Acessar)

4
Dynamic Issues in Applied Commercial Policy Analysis
Dynamic Issues in Applied Commercial Policy Analysis
Dynamic Issues in Applied Commercial Policy Analysis
Material Type:
Livro 		Adicionar ao Meu Espaço

Dynamic Issues in Applied Commercial Policy Analysis

Richard E. Francois, Joseph F. Baldwin Richard E Baldwin; Joseph F Francois

Cambridge Cambridge University Press 1999

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

5
Plasmids a practical approach
Plasmids a practical approach
Material Type:
Livro 		Adicionar ao Meu Espaço

Plasmids a practical approach

K.G Hardy (Kimber G.)

Oxford New York IRL Press at Oxford University Press c1993

Localização: CQ - Conjunto das Químicas    (574.88 P715 1993 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

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

Buscando em bases de dados remotas. Favor aguardar.