Publikasjoner
- 7453 publikasjoner funnet
- Utgiver
Technical documentation of the SISABOSA-system 1986. Rapport
Tidsrekkebasert analyse av oljeetterspørsel og -tilbud 1986. Rapport
Forecasting time series with missing observations 1986. Rapport
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