Publikasjoner

  • Spesifiser kategori

  • Prioritering

  • 7342 publikasjoner funnet
  • Utgiver

A genetic and spatial Bayesian analysis of mastitis resistance Genetics Selection Evolution, vol. 36, pp. 527 542 , (ISSN 0999-193X 1297-9686 ), 2004. Vitenskapelig artikkel

An integrated framework for formal development of open distributed systems Information and Software Technology, vol. 46, pp. 281 286 , (ISSN 0950-5849 1873-6025 ), doi: https://doi.org/10.1145/952532.952744 , 2004. Vitenskapelig artikkel

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