Publikasjoner
- 7450 publikasjoner funnet
- Utgiver
Normalformsteorem for GLS og bevis for ikketerminering av eksisterende algoritmer for snitteleminasjon i GLS 2000. Vitenskapelig foredrag
Formalisert kompletthet av Skolem aritmetikk 2000. Vitenskapelig foredrag
CORBA firewall security: increasing the security of CORBA applications Telektronikk, vol. 96, pp. 53 64 , (ISSN 0085-7130 1891-8220 ), , 2000. Vitenskapelig artikkel
An overview of firewall technologies Telektronikk, vol. 96, pp. 47 52 , (ISSN 0085-7130 1891-8220 ), , 2000. Vitenskapelig artikkel
Det virtuelle stemmeavlukke Aftenposten (morgenutg. : trykt utg.), pp. 180 180 , (ISSN 0804-3116 0807-2027 ), , 2000. Populærvitenskapelig artikkel
Impact of OOT on software quality (invited speaker) 2000. Vitenskapelig foredrag
Conditioning on data in stochastic reservoir models 2000. Vitenskapelig foredrag
Modeling spatial and temporal dependencies between earthquakes 2000. Vitenskapelig foredrag
Stochastic structural model 2000. Rapport
Data squashing for tail inference in the generalized Pareto distribution (ISSN 9788253904610 ), , 2000. Rapport
Beregning av risikojustert egenkapital: Bruker-manual 2000. Rapport
Credit rating in the swedish corporate market 2000. Rapport
Estimating total risk 2000. Rapport
Seamless Integration of Distributed Electronic Patient Records , 2000. Rapport
Simulation of seismic fault geometries 2000. Rapport
Web-skjemaløsninger for digital signatur for SLN 2000. Rapport
Data Mining - løsningen eller bare en bløff? 2000. Vitenskapelig foredrag
SnowStar - Brukerveiledning for SnowStar Server 2000. Rapport