Publications

Rune Solberg; Geometrisk korreksjon av digitale bilder i optisk satellittfjernmåling 1985. Report

Kari Thoresen; Bruk av EDB i arbeidslivet 1985. Scientific lecture

Marit Holden; Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon Cand. Scient thesis, 1985. Article journal

Kari Thoresen; Forskjellige perspektiver på datasystemer Nytt om Kvinneforskning, (ISSN 0333-0265 ), 1985. Scientific article

Håvard Hegna; Organisering av trekningssystem for Verdipapirsentralen 1985. Report

Thomas Bjerch; Lars Holden; Henning Omre; Bjørn H. Sollie; Geostatistiske metoder i reservoarbeskrivelse. Sluttrapport fra forprosjektet 1985. Report

Lars Holden; Første ordens ikkelineære skalare hyperbolske konserveringslover i én dimensjon 1985. Report

Ole-Johan Dahl; Bjørn Myhrhaug; Kristen Nygaard; SIMULA 67. Common Base Language (ISSN 82-539-0225-5 ), , 1984. Report

Henning Omre; Lars Holden; Eksempel på sammenstilling av subjektiv viten og observasjoner ved mektighetsestimering 1984. Report

Henning Omre; Lars Holden; Surface modelling merging subjective and objective information 1984. Report

Lars Holden; Henning Omre; Eksempler på reservoar modellering ved bruk av geostatistiske teknikker 1984. Report

Peter Jensen; Kristen Nygaard; The BETA project (ISSN 82-539-0065-1 ), 1976. Report

Erik Holbæk-Hanssen; Petter Håndlykken; Kristen Nygaard; System description and the Delta language 1975. Report

Håvard Hegna; Ole Johan Lund; Kristen Nygaard; User's experience with the Simula language , 1968. Report