Publications
- 8477 publications found
- Publisher
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
SIMULA 67. Common Base Language (ISSN 9788253902258 ), , 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
Theory and practice of multivariate arma forecasting 1983. Report
Autoregressive processes with a time dependent variance II: Some further properties of least sequances estimates 1983. Report
Bias and some commonly used time series estimates 1981. 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
User's experience with the Simula language , 1968. Report