Publikasjoner

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

Kari Thoresen; Bruk av EDB i arbeidslivet 1985. Vitenskapelig foredrag

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

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

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

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

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

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

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

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

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

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

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

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