Faglige referanser
Formelle metoder
Formal methods
Soft. eng.
???
AL-index
Formal Methods Publications
Simple Algebraic Structures
SDL Homepage
Formal Methods at the Computer Science Laboratory, SRI International
Computer Systems Laboratory Overview
ISSTA 96
ISSTA 96
Sikkerhet
Trusted Information Systems Home Page
www-side funnet på news
Computer and Network Security Reference Index
IEEE workshop on Security
Cipher
NIST Computer Security Resource Clearinghouse
NSC Product Information
Office of Technology Assessment Congress of the United States
NIST/NSA/DoJ view of SKE
The International PGP Home Page
Cipher
Directory of /users/rja14
PRIVACY Forum
GGData AS (Brannvegg)
Matematikk-dokumenter
Søking etter dokumenter (Australia?)
School of Mathematics homepage
Dptm of Mathematics II, University of Bayreuth
sci.math FAQ
Matte historie
Math Archives
AMS
fsu
MAA
MathSoft Home Page
Arkiv
Jus
Offentlig no
datatilsynet
Pointers (Tromsø)
Norges lowwer
Electronic Frontier Norway
Trade Law Library - Internet sites for Law, Economics and Commerce
Medisin
Finn Skogstad
Anatomisk Institutt, Oslo
British Medical Journal
Journal of Biological Chemistry
National Inst. for Health: Consensus
The Department of Tumor Biology (Norway)
Inst. for Samfunnsmedisinske fag, Bergen
National Inst. for Health: Consensus
Department of Tumor Biology
Institutt for samfunnsmedisinske fag
Sub-specialists offering advice to primary care physicians
Ventelistedata for Internet
Jonathan Tward's Multimedia Medical Reference Library
Dr. Bower's Complementary Medicine Home Page
Linux
Linker på nettet
Linux v/janl
Linux, Matematisk Institutt, UiO
Norske tegn
HowTo
Doc project on Sunsite
Files on sunsite
Doc project (Mirror? Trondheim)
comp.protocols.ppp frequently wanted information
Egenproduserte
Linux på en 386
Latex og norsk
Annet
TwinSock
The Navas 28800 Modem FAQ
« OCP's Telecom/Computer/CU Ref Guide! »
Jon Haugsand
(jonhaug@ifi.uio.no)
Sist endret: Thu Feb 22 11:49:09 1996