Fant 6293 publikasjoner. Viser side 315 av 315:
Bruk av EDB i arbeidslivet
Thoresen, Kari
1985
Vitenskapelig foredrag
Bevisføring i klassisk logikk anvendt innenfor en logikk for systemspesifikasjon
Holden, Marit
Fagartikkel
Forskjellige perspektiver på datasystemer
Vitenskapelig artikkel
Organisering av trekningssystem for Verdipapirsentralen
Hegna, Håvard
Rapport
Geostatistiske metoder i reservoarbeskrivelse. Sluttrapport fra forprosjektet
Bjerch, Thomas; Holden, Lars; Omre, Henning; Sollie, Bjørn H.
Første ordens ikkelineære skalare hyperbolske konserveringslover i én dimensjon
Holden, Lars
SIMULA 67. Common Base Language
Dahl, Ole-Johan; Myhrhaug, Bjørn; Nygaard, Kristen
1984
Norsk Regnesentral
Eksempel på sammenstilling av subjektiv viten og observasjoner ved mektighetsestimering
Omre, Henning; Holden, Lars
Surface modelling merging subjective and objective information
Eksempler på reservoar modellering ved bruk av geostatistiske teknikker
Holden, Lars; Omre, Henning
The BETA project
Jensen, Peter; Nygaard, Kristen
1976
System description and the Delta language
Holbæk-Hanssen, Erik; Håndlykken, Petter; Nygaard, Kristen
1975
User's experience with the Simula language
Hegna, Håvard; Lund, Ole Johan; Nygaard, Kristen
1968