INRIA library - Trier bib - Citeseer - CTAN LaTeX macros and catalogue - OCaml man.
Baez, John
Barr, Michael
Lawvere, William
Moerdijk, Ieke
Simpson, Alex
Robinson, Edmund
Wells, Charles
Cockett, Robin
The
Collection of Computer Science Bibliographies; mirrors: uk -
canada
Hypatia
Digital Bibliography & Library Project; mirrors:
trier de -
sunsite de -
acm -
vldb
Hypertext Bibliography Project (MIT)
Networked Computer Science
Technical Reference Library
ACM DL
Citeseer
Personal Home Page Search
LNCS search
UL >
union (computer lab = 37)
British Library
Library of Congress
concurrency - mobility - types - categories
eapls
EATCS conference bulletin
caml.inria.fr - Markus Mottl - ocaml perl regexps - ocaml link db - Stolpmann's ocaml-programming - ocaml odbc - ocaml postgres
local tetex
ctan - latex
catalogue - tug - Xy-pic, xy-pic mailing list
AMS: ams latex, ams fonts; local
reference: amsmath, faq, amssymb
David Bausum's TeX primitive
control sequences (local copy)
LaTeX2e
commented sources (local copy)
htmlhelp; w3schools; w3; all things web - useit
Theory and Applications of Categories
Security-related Publications, Editorials, and Source Code - linuxsecurity - securityfocus
restauration, getting there; rocq campus, admin; salary scales; phebus (local buses); currency rates; daily allowance (IJ); my missions page; rocq guides; search library; seminars; AGOS - local system support (SIR/MIRIAD) - RMI machine ordering
local seminar recipients: /net/pauillac/infosystems/majordomo/lists/seminaire.
Eurostar
Railtrack
London transport
Cambridge Coaches
UK flight arrivals
(LHR,
LGW,
STN,
LTN)
Airport codes
Yahoo maps
yahoo
currency converter (usd, eur, frf, chf)
-
oanda historical rates
official rates: federal
reserve -
euro central bank -
french
minifi
-
vaccines
electrical outlets around the world
metric / US / imperial conversion
Fedex - UPS
Mailboxes Cambridge
Calandrier scholaire: http://www.education.gouv.fr/prat/calendrier/calendrier.php
Strikes: infogreves.
French maps: yahoo
Paris
metro: ratp - métro
trafic - metro
map - RER
map
DB: many train
timetables
low cost airlines: SkyScanner
SNCF: (tel: 08 92 35 35 35) - pdf
schedules - Ile-de-France trafic - IdF
Airports: CDG
flight info - Orly flight info.
Portals: yahoo.fr - linternaute - movingtofrance - practique - logement.
Housing listings: pap - seloger - immostreet - hestia.
Money: lemoneymag.
Telephone: budgetelecom -
nomad.
Post: annuairedelaposte;
postal offices
Funding: egide.
Visa: long séjour.
Computer sales: (never tried them)
material.net,
www.inmac.fr,
www.hcsmisco.fr
Dictionaries: hachette - granddictionnaire.
Random links
Cognitive science: www.alexanderscience.org
Dog walking: Promenade de
chien
This page: http://pauillac.inria.fr/~leifer/i.html.
