Publikasjoner

  • Spesifiser kategori

  • Prioritering

  • 7457 publikasjoner funnet
  • Utgiver

A Formal Language for Specifying Security Properties (ISSN 9783854031802 ), 2004. Vitenskapelig antologi/Konferanseserie

Utgiver Austrian Computer Society

Enhancing structured review with model-based verification IEEE Transactions on Software Engineering, vol. 30, pp. 736 753 , (ISSN 0098-5589 1939-3520 ), doi: https://doi.org/10.1109/TSE.2004.86 , 2004. Vitenskapelig artikkel

Multi-sensor and time-series approaches for monitoring of snow parameters pp. 1661 1666 , doi: https://doi.org/10.1109/IGARSS.2004.1370649 , 2004. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

The NR JPEG 2000-codec , 2004. Rapport

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral

WsHC Security Requirements , 2004. Rapport

Utgiver Norsk Regnesentral

Inntrykk fra Eurographics 2004 Norsigd Info, (ISSN 0803-8317 ), , 2004. Populærvitenskapelig artikkel

Utgiver Norsk Regnesentral

Elektronisk valg på ville veier Dagsavisen, (ISSN 1503-2892 ), 2004. Leserinnlegg

Modellering av totalrisiko 2004. Faglig foredrag

Årsplaner for NR 2005 2004. Rapport

Utgiver Norsk Regnesentral