Treffliste - TYPES 2000 - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

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

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

Standard documentation types : November 2000

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

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

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

Ikke det du leter etter?

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