Publikasjoner
- 7388 publikasjoner funnet
- Utgiver
Presisjon til ulike prognosemetoder for fullstendig observerte tidsrekker og for tidsrekker med manglende observasjoner 1986. Rapport
A NxN class of systems of hyperbolic conservation laws 1986. Rapport
A Numerical Method for First Order Nonlinear Scalar Hyperbolic Conservation Laws in one Dimension 1986. Rapport
A decision making tool for land evaluation in the developing countries 1986. Faglig foredrag
Estimering av parametre i en lineært strukturert kovariansmatrise, anvendt i fjernanalyse 1986. Rapport
Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Fagartikkel
Data-nettverk og meldingssystem 1986. Rapport
Traffic forecasting models based on top down and bottum up procedures 1985. Vitenskapelig foredrag
Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon Cand. Scient thesis, 1985. Fagartikkel
Organisering av trekningssystem for Verdipapirsentralen 1985. Rapport
Optiske disker 1985. Vitenskapelig foredrag
Bruk av EDB i arbeidslivet 1985. Vitenskapelig foredrag
Optical disks 1985. Vitenskapelig foredrag
Forskjellige perspektiver på datasystemer Nytt om Kvinneforskning, (ISSN 0333-0265 ), 1985. Vitenskapelig artikkel
Contextual classification of remotely sensed data, based on an autocorrelation model Ukjent, 1985. Fagartikkel