Hopp til treffliste
Hopp til hovedmeny
Depotbiblioteket
Logg inn
Søk
Vis filter / sortering
Biblioteket
Vis søkeresultat
Nullstill filter
·
Vis kun ledige titler
Søk kun i bestemt felt
Søk i alle felt
Tittel
Ord i tittel
Forfatter/Medvirkende
Emne/Omtalt
ISBN
Dewey-nr
Avgrens avdeling
Alle avdelinger
Biblioteket
KLASSESETT
Automatlager
Fra år
Til år
Vis søkeresultat
Del dette søket
Lagre søk
7 treff
Sortering
Relevans (titler likest søkeord først)
Popularitet
Antall stjerner
Utgivelsesår (nyeste først)
Utgivelsesår (eldste først)
Tittel
Tittel (Å - A)
Person
Person (Å - A)
Sortering
Bilde mangler
A formal model of object mobiblity in resource-restricted deployment scenarios
Johnsen, Einar Broch
Engelsk
·
2012
Artikkel
Vis mer
Bilde mangler
Composition and refinement for partial object specifications (full version)
Johnsen, Einar Broch
Inngår i serie:
Research report / University of Oslo, Department of Informatics (301)
Bok
·
Engelsk
·
2002
Ledig
Vis mer
Bilde mangler
Formal viewpoint specification of open distributed systems
Johnsen, Einar Broch
Inngår i serie:
Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (no. 232)
Bok
·
Engelsk
·
2002
Ledig
Vis mer
Bilde mangler
Object-oriented specification and open distributed systems
Johnsen, Einar Broch
Engelsk
·
c2004
Artikkel
Vis mer
Bilde mangler
A proof environment for partial specifications in OUN
Johnsen, Einar Broch
Språk ikke angitt
·
c2001
Artikkel
Vis mer
Bilde mangler
Sportsklatring
Morstad, Marius
Inngår i serie:
Temahefte i idrett for forsvaret (21)
Bok
·
Bokmål
·
1998
·
Les på nett
Ledig
Vis mer
Bilde mangler
Structured formal development in Isabelle
Maksym Bortin
Engelsk
Artikkel
Vis mer
Ikke det du leter etter?
Mente du?
Einar Broch
Einar Bech
Johnsen
Johnsen O
Johansen
Jensen
Johnson
Jansen
Jahnsen
Johnsson
Søk og bestill fra andre bibliotek:
Biblioteksøk