19 treff

Algebra and coalgebra in computer science : second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
CALCO 2007
Bok Engelsk 2007
Coordinate free numerics : a software approach to scientific computing
Magne Haveraaen
Bok Engelsk 2002 · Les boka på nett
A 2-tiered software process model for utilizing CASL
Magne Haveraaen
Bok Engelsk 2000
Formal software engineering for computational modeling
Magne Haveraaen, Helmer Andre Friis, Tor ...
Bok Engelsk 1999 · Les boka på nett
Abstractions for programming parallel machines
Magne Haveraaen
Bok Engelsk 1998
Solving recursive problems in linear time using constructive recursion
Magne Haveraaen & Steinar Søreide
Bok Engelsk 1997 · Les boka på nett
Selected papers from NWPT'96 : 8th Nordic Workshop on Programming Theory, Oslo, December 4-6, 1996
Nordic Workshop on Programming Theory
Bok Engelsk 1997 · Les boka på nett
Communication algebras
Walicki, Michał
Bok Engelsk 1996
Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Workshop on Specification of Abstract Data Types
Bok Engelsk 1996
Guarded algebras and data type specification
Magne Haveraaen, Eric G. Wagner
Bok Engelsk 1995 · Les boka på nett
The structural blanks approach to solve generalized recurrences
Magne Haveraaen & Vytautas Čyras
Bok Engelsk 1995
Coordinate free numerics : how to avoid index wrestling in tensor computations
Hans Munthe-Kaas & Magne Haveraaen
Bok Engelsk 1995 · Les boka på nett
NIK'95 : Norsk informatikkonferanse : Institutt for informatikk, Universitetet i Oslo, 20.-22. november 1995
Norsk informatikkonferanse
Bok Bokmål 1995 · Les boka på nett
NIK'94 : Norsk informatikkonferanse : Høgskolen i Molde, 14.-16. november 1994
Norsk informatikkonferanse
Bok Bokmål 1994 · Les boka på nett
Proceeding[s] of the 4th Nordic Workshop on Program Correctness
Nordic Workshop on Program Correctness
Bok Engelsk 1993
NIK'93 : Norsk informatikk konferanse : Østfold distriktshøgskole,Halden, 15.-17. november 1993
Norsk informatikkonferanse
Bok Bokmål 1993 · Les boka på nett
Data dependencies and space time algebras in parallel programming
Magne Haveraaen
Bok Engelsk 1990 · Les boka på nett
Unification of the LOOP-structures
by Magne Haveraaen
Bok Engelsk 1985 · Les boka på nett
USIS : sekundærinformasjon fra datalager. Prosjektrapport nr. 23, Dokumentasjon av USIS-79
Magne Haveraaen, Hans Victor Koch
Bok Språk ikke angitt 1980 · Les boka på nett