Treffliste - TYPES 2000 - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

5 treff

Sortering

Forsidebilde

Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers

TIC 2000
Inngår i serie: Lecture notes in computer science (2071)
Bok Engelsk c2001

Ledig 1/1

Forsidebilde

Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers

TYPES 2000
Inngår i serie: Lecture notes in computer science (2277)
Bok Engelsk c2002

Ledig 1/1

Standard documentation types : November 2000

Det norske veritas
Inngår i serie: Recommended practice (DNV-RP-A201)
Bok Engelsk 2000

Ledig 1/1

Organic matter and phosphorus dynamics under selected cropping systems in the South American tropics

Phiri, Samuel
Inngår i serie: Doctor scientiarum thesis / Agricultural University of Norway (2000:23)
Bok Engelsk 2000 · Les på nett

Ledig 1/1

Diversity of chemoautotrophic ammonia-oxidizing bacteria based on phylogenetic analyses = : Diversitet hos kjemoautotrofe ammoniakk-oksiderande bakteriar basert på fylogenetiske analysar

Aakra, Ågot
Inngår i serie: Doctor scientiarum theses / Norges landbrukshøgskole (2000:19)
Bok Engelsk 2000 · Les på nett

Ledig 1/1

Søk og bestill fra andre bibliotek: Biblioteksøk