Treffliste - Lamo, Yngve - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

10 treff

Sortering

On a non-existent ventral filtration current in Hemimysis lamornae (Couch) and Praunus flexuosus (Müller) (Crustacea: Mysidacea)

Yngve G. Attramadal
Engelsk
Artikkel Vis mer

The institution of multialgebras

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 209)
Bok Engelsk 2000 · Les på nett

Ledig 1/1

The institution of multialgebras : a general framework for algebraic software development

Lamo, Yngve
Bok Engelsk 2002

Ledig 2/2

Logic with equality for multialgebras : an application of Rasiowa-Sikorski technique

Lamo, Yngve
Inngår i serie: Reports in informatics (report no 227)
Bok Engelsk 2002

Ledig 1/1

Modeling partiality by nondeterminism : from abstract specifications to flexible error handling

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 178)
Bok Engelsk 1999 · Les på nett

Ledig 1/1

Qualifier-free logic for multialgebraic theories

Lamo, Yngve
Inngår i serie: Reports in informatics (report no 228)
Bok Engelsk 2002

Ledig 1/1

Specifications of parameterized data types

Lamo, Yngve
Inngår i serie: Reports in informatics (no. 210)
Bok Engelsk 2000 · Les på nett

Ledig 1/1

Dynamic content manager - en grafbasert læringsmodell utprøvd i matematikkundervisningen

Hinna, Kristin Ran Choi
Bokmål 2009
Artikkel Vis mer

A practical methodology for anonymization of structured health data

Amin Aminifar
Engelsk
Artikkel Vis mer

A visual analytics dashboard to support iCBT therapists

Nikolai Alexander Grieg
Engelsk
Artikkel Vis mer

Søk og bestill fra andre bibliotek: Biblioteksøk