Publikasjoner

  • Spesifiser kategori

  • Prioritering

  • 7515 publikasjoner funnet
  • Utgiver

Erik Mohn; Nils Lid Hjort; Geir Storvik; A simulation study of some contextual classification methods for remotely sensed data Ukjent, 1986. Vitenskapelig artikkel

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

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

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral

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

Utgiver 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. Rapport

Utgiver Universitetet i Oslo

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

Utgiver 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. Fagartikkel

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

Utgiver Norsk Regnesentral

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

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

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