Biblioteksøk

Vis søkeskjema

12 treff

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

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

Adapting to faults in deterministic wormhole networks

Olav Lysne, Tor Skeie
Bok Engelsk 1998 · Les boka på nett

Aspects of running the SCI-protocol over HIC-networks

Olav Lysne and Stein Gjessing
Bok Engelsk 1995

Verifying a distributed list system : a case history

Stein Krogdahl and Olav Lysne
Bok Engelsk 1993 · Les boka på nett

Initial equality as a function in algebraic specification

Olav Lysne
Bok Engelsk 1993 · Les boka på nett

Linear proofs in the final algebra

Olav Lysne
Bok Engelsk 1993

On the connection between narrowing and proof by consistency

Olav Lysne
Bok Engelsk 1993 · Les boka på nett

Definedness and strictness in generator inductive definitions

Olav Lysne and Olaf Owe
Bok Engelsk 1991

Term rewriting techniques for systems based on generator induction

by Olav Lysne
Bok Engelsk 1991 · Les boka på nett

A width first approach to completion

Olav Lysne
Bok Engelsk 1990

Velg språk

English
Nynorsk
Davvisámegillii
Valgt språk:Bokmål