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
Vis mer

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
Vis mer

Standard documentation types : November 2000

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

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
Vis mer

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
Vis mer