18 treff

Krogdahl Stein
Automatisert saksbehandling
av Stein Krogdahl, Sverre Spurkland
Bok Bokmål 1979 · Les boka på nett
Om bruk av SIMULA-objekter til oppbevaring av data på masselager
av Stein Krogdahl
Bok Bokmål 1973
NIK'96 : Norsk informatikkonferanse : Seksjon for IT og matematikk, Høgskolen i Finnmark, Alta 18.-20. november 1996
Norsk informatikkonferanse
Bok Bokmål 1996 · Les boka på nett
DATSY : system- og hjelperutiner
av Eva Kristoffersen, Stein Krogdahl og H...
Bok Bokmål 1971
NIK'97 : Norsk informatikkonferanse, Institutt for informasjonsvitenskap, Universitetet i Bergen, 24.-26. november 1997
Norsk informatikkonferanse
Bok Bokmål 1997 · Les boka på nett
Protection in Simula : a new proposal
by Stein Krogdahl
Bok Engelsk 1982
Verifying a distributed list system : a case history
Stein Krogdahl and Olav Lysne
Bok Engelsk 1993 · Les boka på nett
The dependence graph for bases in matroids
by Stein Krogdahl
Bok Engelsk 1975
On verification of parallel and interleaved executions
Stein Krogdahl and Olav Lysne
Bok Engelsk 1999
Some general log concavity results
Stein Krogdahl
Bok Engelsk 1990
An efficient implementation of Simula classes with multiple prefixing
Stein Krogdahl
Bok Engelsk 1984
A top down approach to the formal specification of SCI cache coherence
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
Approaching verification of the SCI cache coherence protocol
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
Formal specification and verification of SCI cache coherence
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Bok Engelsk 2004
Controlled broadcasting in ring-based networks
Sverre Johansen, Stein Krogdahl
Bok Engelsk 1993
A merging inequality
István Beck and Stein Krogdahl
Bok Engelsk 1989
S-PORT : definition of S-code : version 3.0
by Peter Jensen ... [et al.]
Bok Engelsk 1985