Publications

  • Category

  • Sorting

  • 8979 publications found
  • Publisher
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

Lars Holden; Henning Omre; Rune Solberg; Torfinn Taxt; Technical documentation of the SISABOSA-system 1986. Report

Publisher Norsk Regnesentral

Lars Holden; Henning Omre; Rune Solberg; Torfinn Taxt; The SISABOSA project - Summary of activities and experiences 1986. Report

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

Lars Holden; Raphael Høegh-Krohn; A NxN class of systems of hyperbolic conservation laws , 1986. Report

Publisher Universitetet i Oslo

Helge Holden; Lars Holden; Raphael Høegh-Krohn; A Numerical Method for First Order Nonlinear Scalar Hyperbolic Conservation Laws in one Dimension , 1986. Report

Publisher Universitetet i Oslo
Publisher Norsk Regnesentral

Marit Holden; Theorem proving in classical logic applied within a logic for system specification Research Report, Department of Informatics, University of Oslo, 1986. Article journal

Håvard Hegna; Data-nettverk og meldingssystem 1986. Report

Publisher Norsk Regnesentral

Boonchai K. Stensholt; Dag Bjarne Tjøstheim; Multiple bilinear time series models 1985. Report

Publisher Universitetet i Bergen

Kjell Stordal; Lars Holden; Traffic forecasting models based on top down and bottum up procedures 1985. Scientific lecture

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

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