LINKS FOR LUIGI


Luigi's files and email at UoO

FIW CHAIR

Cours


Sillberschatz's books
http://www.bell-labs.com/topic/books/aos-book/
http://www.bell-labs.com/topic/books/os-book/slide-dir/index.html

Dictionnaires


Longman's
http://www.longman.com/dictionaries/webdictionary.html

Encyclopedias of Philosophy
http://plato.stanford.edu/
http://www.utm.edu/research/iep/c/


Personnes

Matt Bishop (good site on security)
http://nob.cs.ucdavis.edu/~bishop/main.html

Guido Boella
http://www.di.unito.it/~guido/

Robert Gérin-Lajoie (Bell Canada)
http://www.cirano.qc.ca/en/bottin/cv.php?coderelation=1218#publications


Guido Governatori
www.itee.uq.edu.au/~guido/

Giovanni Sartor
http://www.cirfid.unibo.it/~sartor/

Groupes

Università di Bologna
http://www.cirfid.unibo.it/~agsw

University of Cambridge Computer Security Group
http://www.cl.cam.ac.uk/Research/Security/

UC Davis Computer Security lab (lots of info on security)
http://seclab.cs.ucdavis.edu/

International Association for Artificial Intelligence and Law
http://www.iaail.org/

University of Wollongong Computer Security Group
http://www.cs.uow.edu.au/ccsr/

Systèmes normatifs

Calros E. Alchurròn, Eugenio Bulygin
http://cervantesvirtual.com/servlet/SirveObras/43525172090165039233346/p0000001.htm#I_1_

Génie logiciel général

Carnegie-Mellon STR Technology Descriptions

Terminologie télécom


Base de données ITU:
http://www.itu.int/terminology/index.html


Subventions

Système SIGA de l'UQO (disponibilité et dépenses)
http://eugene.uqo.ca/siga/

NSERC Research Partnership Programs
http://www.nserc.ca/guide/b5_3_e.htm

NATEQ
http://www.fcar.qc.ca/nateq/subvention/subvention.htm
NIP: LOGLU9801  123581


Revues

Computer Communications
http://www.sciencedirect.com/science?_ob=JournalURL&_cdi=5624&_auth=y&_acct=C000051243&_version=1&_urlVersion=0&_userid=1067359&md5=65d4a05817991b0693076cf59d5a343f

Computer Networks
http://www.sciencedirect.com/science?_ob=JournalURL&_cdi=6234&_auth=y&_acct=C000051243&_version=1&_urlVersion=0&_userid=1067359&md5=47aa7082cd14f0769ad5ca01ec190b1a

Formal aspects of computing
http://link.springer.de/link/service/journals/00165/

Formal Methods in Systems Design (Fairly theoretical)
http://www.kluweronline.com/issn/0925-9856

Requirements Engineering
http://link.springer.de/link/service/journals/00766/index.htm

Science of Computer Programming
http://www.elsevier.com/locate/issn/01676423

Software Tools for Technology Transfer (STTT)
http://link.springer.de/link/service/journals/10009/bibs/7001001/70010001.htm

Software and Systems Modeling
http://link.springer.de/link/service/journals/10270/index.htm
Software and Systems Modeling
http://www.sosym.org/

Springer Journals
http://link.springer.de/ol/csol/index.shtm

Telecommunications Systems Journal

Banques


http://www.royalbank.com/online/


Transports


STO
http://www.sto.ca/index_f.asp


Culture


Cinema international 2002-2003
http://www.uottawa.ca/academic/arts/lang-mod/cinema-2002.html


Redhotjazz archives
http://www.redhotjazz.com/


Canti politici

http://www.eremita.it/cdl/home.htm
http://utenti.lycos.it/laltraitalia/
http://www.rccr.cremona.it/gruppo_padano_piadena/index.htm

Used Books

www.bookfinder.com