Publikasjoner

  • Spesifiser kategori

  • Prioritering

  • 7299 publikasjoner funnet
  • Utgiver
Utgiver Norsk Regnesentral
Utgiver Matematisk institutt, Universitetet i Oslo
Utgiver Norsk Regnesentral

Peder Anker; Margaret Robb; Geir-Harald Strand; B Wang; A decision making tool for land evaluation in the developing countries 1986. Faglig foredrag

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

Utgiver Matematisk institutt, Universitetet i Oslo

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

Lars Holden; Eivind Damsleth; Konsistente prognoser for trafikkmatriser - en metodestudie 1986. Rapport

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral

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

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral

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

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral