Services :
Prof.
Patrick COUSOT
Services généraux / General services
TeX/LaTeX/OzTeX
Services locaux / Local services (restricted access)
Services généraux / General services :
Administration
(
France
,
Europe
)
Associations
Atlas
Bibliographie / Bibliography
(
Recherche / Search
)
Bibliothèques / Libraries
Chercheurs / Researchers
Citations
Conférences / Conferences
Courrier électronique / Email
DEAs
Départements universitaires d'informatique / University computer science departments
Dictionnaires /Dictionaries
Édition / Publishing
Groupes de recherche / Research groups
Institutions et laboratoires / Institutions and laboratories
Journaux / Journals
Internet & Web
(
moteurs de recherche / search engines
)
Librairies / Bookstores
Logiciel / Software
Matériel / Hardware
Mathématiques / Mathematics
(
Cellule de Coordination Documentaire Nationale pour les Mathématiques
)
Offres d'emploi en sémantique et interprétation abstraite / Positions offered in semantics and abstract interpretation
Rapports de recherche / Research reports
Séminaires/Seminars
Sociétés savantes / Scholarly societies
Téléphone / Telephon
Thésards / Ph.D. students
Tourisme
à Paris /
Visiting
Paris
TeX
OzTeX
(
Home page
,
ftp
)
Utilitaires pour OzTeX / OzTeX utilities
Fichiers de style LaTeX / LaTeX style files
The UK TeX Archive
(
TeX FAQ
)
Services locaux / Local services (restricted access) :
Services Unix locaux / local Unix services
email (DI)
Styles LaTeX :
Lettres avec en-tête DMI, LaTeX 2.09
Lettres avec en-tête DMI, LaTeX2e
SPI
(Service de Prestations Informatiques)
Installation des machines
TeX
hyperref
Windows sous Unix