Treffliste - Research report (Universitetet i Oslo. Institutt for informatikk : trykt utg.) - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

96 treff

Sortering

Research report

Inngår i serie
Engelsk 1980-2006 · Forventes utgitt .s.part

Ikke til utlån

Bruk av Lotus Notes i et inspektørvesen : "sammenknytting og orden

Beck, Eevi E.
Inngår i serie: Research report / Universitetet i Oslo, Institutt for informatikk (244)
Bok Bokmål 1997 · Les på nett

Ledelse av systemutviklingsprosjekter : en dialektisk tilnærming

Øgrim, Leikny
Inngår i serie: Research report / Universitetet i Oslo, Institutt for informatikk (no. 183)
Bok Bokmål 1993 · Les på nett

Proceedings of NWPER'2000 Nordic Workshop on Programming Environment Research : Lillehammer, Norway, May 28-30, 2000

Nordic Workshop on Programming Environment Research
Inngår i serier: Report / Department of Information Science, University of Bergen (86), Reports in informatics (no. 195), Research report / University of Oslo, Department of Informatics (282)
Bok Engelsk 2000 · Les på nett

Dataregistre i klinisk forskning : lover, regler og anbefalinger

Per Grøttum ... [et al.]
Inngår i serie: Forskningsrapport / Universitetet i Oslo. Institutt for informatikk (nr 167)
Bok Bokmål 1992 · Les på nett

ARCAMIDE: Automatic Resource-aware Construction of Applications for Media Indexing in Distributed Environments

Granmo, Ole-Christoffer
Inngår i serie: Research report / University of Oslo, Department of Informatics (300)
Bok Engelsk 2001

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

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

Equations for defining poly-time functions

Caseiro, Vuokko-Helena
Inngår i serie: Research report / University of Oslo, Department of Informatics (no. 237)
Bok Engelsk 1997 · Les på nett

A temporal data model for multimedia database systems

Eini, Ilan
Inngår i serie: Research report / Institutt for informatikk, Universitetet i Oslo (252)
Bok Engelsk 1997 · Les på nett

On the modularity of termination for composable many-sorted term rewrite systems

Linnestad, Henrik
Inngår i serie: Research report / University of Oslo, Department of Informatics (no. 232)
Bok Engelsk 1997 · Les på nett

Term rewriting techniques for equational reasoning

Linnestad, Henrik
Inngår i serie: Res. rep. / University of Oslo, Department of Informatics (231)
Bok Engelsk 1997 · Les på nett

Method and tools for tailoring of object-oriented applications : an evolving artifacts approach

Mørch, Anders I.
Inngår i serie: Research report / University of Oslo, Department of Informatics (241)
Bok Engelsk 1997 · Les på nett

ASICs and electronic systems for readout of radiation-sensitive semiconductor detectors

Nygård, Einar
Inngår i serie: Research report / University of Oslo, Department of Informatics (230)
Bok Engelsk 1997 · Les på nett

SCI for local area networks

Ryan, Stein Jørgen
Inngår i serie: Research report / University of Oslo, Department of Informatics (256)
Bok Engelsk 1998 · Les på nett

A data capture system for hydrographic maps

Trier, Øivind Due
Inngår i serie: Research report / University of Oslo, Department of Informatics (213)
Hydrografiske kart
Bok Engelsk 1996 · Les på nett

Full custom implementation of a high performance input buffered switch architecture

Østby, Joar Martin
Inngår i serie: Research report / University of Oslo, Department of Informatics (243)
Bok Engelsk 1997 · Les på nett

Beyond formal quality in information systems design

Braa, Kristin
Inngår i serie: Research report / University of Oslo, Faculty of Mathematics and Natural Sciences, Department of Informatics (no. 202)
Bok Engelsk 1995 · Les på nett

Information technology in manufacturing management : from scientific shoveling to focal-point opportunistic scheduling

Hasle, Geir
Inngår i serie: Research report / Universitetet i Oslo, Institutt for informatikk (205)
Bok Engelsk 1995 · Les på nett

Development and emulation of interaction mechanisms for a heterogenous multicomputer

Larsen, Øystein Gran
Inngår i serie: Research report / Department of Informatics, University of Oslo (160)
Bok Engelsk 1991 · Les på nett

Iterative methods for mixed finite element systems

Rusten, Torgeir
Inngår i serie: Research report / Department of Informatics, University of Oslo (156)
Bok Engelsk 1991 · Les på nett

Hypothesis driven feature extraction in a distributed processing environment

Granmo, Ole-Christoffer
Inngår i serie: Research report / University of Oslo, Department of Informatics (302)
Bok Engelsk 2002

Apotram : an application-oriented transaction model

Anfindsen, Ole Jørgen
Inngår i serie: Research report / Universitetet i Oslo, Institutt for informatikk (215)
Bok Engelsk [1996] · Les på nett

Apotram : an application-oriented transaction model

Anfindsen, Ole Jørgen
Inngår i serie: Research report / University of Oslo, Department of Informatics (no. 215)
Bok Engelsk 1997

An equational characterization of the poly-time functions on any constructor data structure

Caseiro, Vuokko-Helena
Inngår i serie: Research reports / University of Oslo, Department of Informatics (226)
Bok Engelsk 1996 · Les på nett

Some general criteria on equations to guarantee poly-time functions

Caseiro, Vuokko-Helena
Inngår i serie: Research report / University of Oslo, Department of Informatics (224)
Bok Engelsk 1996 · Les på nett

Some experiments with knot removal on a parallel computer

Dong, Haiyuan
Inngår i serie: Research report / University of Oslo, Department of Informatics (no. 222)
Bok Engelsk 1996 · Les på nett

Analysis of some numerical and mathematical models related to solidification processes

Haug, Einar
Inngår i serie: Research report / University of Oslo, Department of Informatics (242)
Bok Engelsk 1997 · Les på nett

A proof theoretic characterization of the Kalmar elementary functions

Holden, Marit
Inngår i serie: Research report / University of Oslo, Department of Informatics (211)
Bok Engelsk 1996 · Les på nett

Use of cut to obtain a characterization of the Kalmar elementary functions

Holden, Marit
Inngår i serie: Research report / University of Oslo, Department of Informatics (254)
Bok Engelsk 1997 · Les på nett

Papers on subrecursion theory

Kristiansen, Lars
Inngår i serie: Research report / University of Oslo, Department of Informatics (217)
Bok Engelsk 1996 · Les på nett

Chaotic time series analysis : improving the procedures

Kugiumtzis, Dimitris
Inngår i serie: Research report / University of Oslo, Department of Informatics (239)
Bok Engelsk 1997 · Les på nett

Applying lemmas and conjecturers [i.e. conjectures] in high-order [i.e. higher-order] proof by consistency

Linnestad, Henrik
Inngår i serie: Research report / University of Oslo, Department of Informatics (no. 233)
Bok Engelsk 1997 · Les på nett

GMSim: a generalized semi-Markov simulation environment

Nilsen, Frode B.
Inngår i serie: Research report / University of Oslo, Department of Informatics (258)
Bok Engelsk 1998 · Les på nett

Queuing systems : modeling, analysis and simulation

Nilsen, Frode B.
Inngår i serie: Research report / University of Oslo, Department of Informatics (259)
Bok Engelsk 1998 · Les på nett

Parametric subtypes in ABEL

Bastiansen, Tore Jahn
Inngår i serie: Research report / Department of Informatics, University of Oslo (207)
Bok Engelsk 1995 · Les på nett

Specifying algorithms using evolving algebra : implementation of functional programming languages

Diesen, Dag
Inngår i serie: Research report / University of Oslo, Department of Informatics (199)
Bok Engelsk 1995 · Les på nett

BVA : blood velocity analyzer

Eriksen, Morten
Inngår i serie: Research report / Department of Informatics, University of Oslo (123)
Bok Engelsk 1989

Parametric approximation of circles, ellipses and related surfaces

Glærum, Sigurd
Inngår i serie: Research report / University of Oslo, Department of Informatics (184)
Bok Engelsk 1994 · Les på nett

Evolutionary system development : supporting the process

Kautz, Karlheinz
Inngår i serie: Research report / Universitetet i Oslo, Institutt for informatikk (178)
Bok Engelsk 1993 · Les på nett

The CAML implementation of ABEL

Kristoffersen, Bjørn
Inngår i serie: Research report / University of Oslo, Department of Informatics (194)
Bok Engelsk 1994 · Les på nett

A critical analysis of standard ML

Kristoffersen, Bjørn
Inngår i serie: Research report / Department of Informatics, University of Oslo (193)
Bok Engelsk 1994 · Les på nett

Termination of curryfied rewrite systems

Kristoffersen, Bjørn
Inngår i serie: Research report / Universitetet i Oslo, Institutt for Informatikk (203)
Bok Engelsk 1995 · Les på nett

Verifying a distributed list system : a case history

Krogdahl, Stein
Inngår i serie: Research report / University of Oslo, Department of Informatics (182)
Bok Engelsk 1993 · Les på nett

Perspectives on proof theory : logical, computational and philosophical

Monteiro, Eric
Inngår i serie: Research report / Institute of Informatics, University of Oslo (171)
Bok Engelsk 1992

On the relation between living conditions and variables linked to reproduction in Norway 1860-1984

Rosenberg, Margit
Inngår i serie: Research report / Department of Informatics (150)
Bok Engelsk 1991 · Les på nett

Data fusion and texture in classification of synthetic aperture radar imagery

Solberg, Anne H. Schistad
Inngår i serie: Research report / Universitetet i Oslo, Institutt for informatikk (201)
Bok Engelsk 1995 · Les på nett

Systems of nonlinear partial differential equations modeling polymer flooding

Tveito, Aslak
Inngår i serie: Research report / Department of Informatics, University of Oslo (118)
Bok Engelsk 1988 · Les på nett

Texture analysis as a prognostic and diagnostic tool in tumor pathology

Yogesan Kanagasingam
Inngår i serie: Research report / Universitetet i Oslo, Institutt for Informatikk (204)
Bok Engelsk 1995 · Les på nett

A conceptual model for service availability

Judith E.Y. Rossebø ... [et al.]
Inngår i serie: Research report / University of Oslo, Department of Informatics (337)
Bok Engelsk 2006

Vis flere treff

Ikke det du leter etter?

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