Treffliste - Haveraaen, Magne - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

17 treff

Sortering

A 2-tiered software process model for utilizing CASL

Haveraaen, Magne
Inngår i serie: Reports in informatics (no. 208)
Bok Engelsk 2000 · Les på nett

Ledig 1/1

Coordinate free numerics : a software approach to scientific computing

Haveraaen, Magne
Bok Engelsk 2002

Ledig 2/2

Formal software engineering for computational modeling

Haveraaen, Magne
Inngår i serie: Reports in informatics (no. 173)
Bok Engelsk 1999 · Les på nett

Ledig 1/1

Abstractions for programming parallel machines

Haveraaen, Magne
Inngår i serie: Reports in informatics (report no. 162)
Bok Engelsk 1998 · Les på nett

Ledig 1/1

Solving recursive problems in linear time using constructive recursion

Haveraaen, Magne
Inngår i serie: Reports in informatics (report no. 143)
Bok Engelsk 1997 · Les på nett

Ledig 1/1

Data dependencies and space time algebras in parallel programming

Haveraaen, Magne
Inngår i serie: Reports in informatics (No. 45)
Bok Engelsk 1990 · Les på nett

Ledig 1/1

Guarded algebras and data type specification

Haveraaen, Magne
Inngår i serie: Reports in informatics (report no. 108)
Bok Engelsk 1995 · Les på nett

Ledig 2/2

The structural blanks approach to solve generalized recurrences

Haveraaen, Magne
Inngår i serie: Reports in informatics (report no. 100)
Bok Engelsk 1995 · Les på nett

Ledig 1/1

Unification of the LOOP-structures

Haveraaen, Magne
Inngår i serie: Reports in informatics (14)
Bok Engelsk 1985 · Les på nett

Ledig 1/1

USIS : sekundærinformasjon fra datalager. Prosjektrapport nr. 23, Dokumentasjon av USIS-79

Haveraaen, Magne
Inngår i serie: Rapport / Chr. Michelsens institutt, Avdeling for naturvitenskap og teknologi (75014-16)
Bok Språk ikke angitt 1980 · Les på nett

Ledig 1/1

NIK'93 : Norsk informatikk konferanse : Østfold distriktshøgskole,Halden, 15.-17. november 1993

Norsk informatikkonferanse
Bok Bokmål [1993] · Les på nett

Ledig 1/1

NIK'94 : Norsk informatikkonferanse : Høgskolen i Molde, 14.-16. november 1994

Norsk informatikkonferanse
Bok Bokmål [1994] · Les på nett

Ledig 1/1

NIK'95 : Norsk informatikkonferanse : Institutt for informatikk, Universitetet i Oslo, 20.-22. november 1995

Norsk informatikkonferanse
Bok Bokmål [1995] · Les på nett

Ledig 1/1

Selected papers from NWPT'96 : 8th Nordic Workshop on Programming Theory, Oslo, December 4-6, 1996

Nordic Workshop on Programming Theory
Inngår i serie: Research report / University of Oslo, Department of Informatics (248)
Bok Engelsk 1997 · Les på nett

Ledig 1/1

Communication algebras

Walicki, Michał
Inngår i serie: Reports in informatics (report no. 117)
Bok Engelsk 1996 · Les på nett

Ledig 1/1

Coordinate free numerics : how to avoid index wrestling in tensor computations

Munthe-Kaas, Hans
Inngår i serie: Reports in informatics (report no. 101)
Bok Engelsk 1995 · Les på nett

Ledig 1/1

Proceeding[s] of the 4th Nordic Workshop on Program Correctness

Nordic Workshop on Program Correctness
Inngår i serie: Reports in informatics (no. 78)
Bok Engelsk 1993 · Les på nett

Ledig 1/1

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