Publikasjoner

  • Spesifiser kategori

  • Prioritering

  • 7355 publikasjoner funnet
  • Utgiver
Utgiver Norsk Regnesentral

Examples of use of cut to shorten proofs Ukjent, 1997. Vitenskapelig artikkel

Arbeidsflyt - fins det? 1997. Vitenskapelig foredrag

Use of cut to obtain a characterization of the Kalmar elementary functions Technical Report Department of Informatics, 1997. Fagartikkel

Utgiver Norsk Regnesentral

REGMOD II: Brukermanual 1997. Rapport

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral

Texture analysis of SAR images: a comparative study IEEE Transactions on Geoscience and Remote Sensing, vol. 35, (ISSN 0196-2892 1558-0644 ), , 1997. Vitenskapelig artikkel

IT i offentlig sektor. Ny hverdag med ny teknologi (ISSN 9788200224747 ), 1997. Fagbok

Terrain generator 1997. Rapport

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral

Oslo og datavalg Osloposten, 1997. Populærvitenskapelig artikkel

Validation of computer programs for the IWC catch limit algorithm Ukjent, 1997. Populærvitenskapelig artikkel