21 treff

Lysne Olav
Korall; Geir Lysne Listening Ensemble, guest: Sondre Bratland
Lysne, Geir
Musikk på CD og DVD Bokmål 2003
New circle
Lysne, Geir
Musikk, ukjent format Bokmål 2013
Boahjenásti = : The north star
Geir Lysne Listening Ensemble
Musikk på CD Bokmål 2006
Boahjenásti : The north star
Geir Lysne Listening Ensemble(jazzorkester)
Musikk på CD Bokmål 2006
Deltakende læring
Deltakende læring
Bok Flerspråklig 2024
Digital sårbarhet - sikkert samfunn : beskytte enkeltmennesker og samfunn i en digitalisert verden : utredning fra et utvalg oppnevnt ved kongelig resolusjon 20. juni 2014 : avgitt til Justis- og beredskapsdepartementet 30. november 2015

Bok Bokmål 2015
Skot & skrømt
Beinkjør
Musikk på CD Norsk 2010
Initial equality as a function in algebraic specification
Olav Lysne
Bok Engelsk 1993 · Les boka på nett
Adapting to faults in deterministic wormhole networks
Olav Lysne, Tor Skeie
Bok Engelsk 1998 · Les boka på nett
Term rewriting techniques for systems based on generator induction
by Olav Lysne
Bok Engelsk 1991 · Les boka på nett
Aspects of running the SCI-protocol over HIC-networks
Olav Lysne and Stein Gjessing
Bok Engelsk 1995
On the connection between narrowing and proof by consistency
Olav Lysne
Bok Engelsk 1993 · Les boka på nett
A width first approach to completion
Olav Lysne
Bok Engelsk 1990
Linear proofs in the final algebra
Olav Lysne
Bok Engelsk 1993
Definedness and strictness in generator inductive definitions
Olav Lysne and Olaf Owe
Bok Engelsk 1991
New circle
Geir Lysne
Bok Uten språklig innhold 2013
Aurora Borealis, Nordic lights : live at JazzFest Berlin
Geir Lysne
Musikk på CD Uten språklig innhold 2002
Aurora Borealis : suite for big band : Norwegian big band jazz
Geir Lysne Listening Ensemble (jazzorkester)
Musikk på CD Uten språklig innhold 2000
Verifying a distributed list system : a case history
Stein Krogdahl and Olav Lysne
Bok Engelsk 1993 · Les boka på nett
Simula Reseach Laboratory : -by thinking constantly about it
Aslak Tveito, Are Magnus Bruaset, Olav Ly...
Bok Engelsk 2010
On verification of parallel and interleaved executions
Stein Krogdahl and Olav Lysne
Bok Engelsk 1999