Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Programming in Martin-Löf's type theory an introductionBengt Nordström Kent Petersson; Jan M SmithOxford New York Clarendon Press Oxford University Press 1990Localização: IME - Inst. Matemática e Estatística (QA9.55 N832p )(Acessar) |
|
2 |
Material Type: Livro
|
Arsenic environmental geochemistry, mineralogy, and microbiologyRobert 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 2014Localização: IGC - Instituto de Geociências (553.47 A781 )(Acessar) |
|
3 |
Material Type: Livro
|
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, 1994Workshop on Types for Proofs and Programs (2. 1994 Bastad) Peter Dybjer; Bengt NodstromBerlin Springer 1995Localização: IFSC - Inst. Física de São Carlos (P621.38195 L471 v.996 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Dynamic Issues in Applied Commercial Policy AnalysisRichard E. Francois, Joseph F. Baldwin Richard E Baldwin; Joseph F FrancoisCambridge Cambridge University Press 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Plasmids a practical approachK.G Hardy (Kimber G.)Oxford New York IRL Press at Oxford University Press c1993Localização: CQ - Conjunto das Químicas (574.88 P715 1993 ) e outros locais(Acessar) |