Bibliographie / Bibliography
Bibliographie / Bibliography
- Interprétation abstraite & analyse de programmes / Abstract
interpretation & program analysis :
- Digital libraries:
- Citation indexes:
- Algorithmic and Automatic Debugging Home Page
- CompuScience WWW-Database, FIZ Karlsruhe - Abteilung Berlin
- Koala Document Fingerprinting (KDF)
- Bibliographie du DMI (par mots-clés)/Department bibliography (by keyword)
- Collection of Computer Science Bibliographies (US mirror)
- Compuscience WWW-database
- Constraints Bibliographies
- CORA Computer Science Research Paper Search Engine
- The Directory of Computing Science Journals
- DB&LP, Databases & Logic Programming
- Fachinformationszentrum Karlsruhe
- Gallica (BNF)
- Hypatia Electronic Library
- LIDOS
- The Hypertext Bibliography Project
- INSPEC
- SIMS -- Système d'interrogation multi-bases via la Common Gateway Interface (INRIA online catalogues)
- Médiathèque de l'Institut IMAG (The IMAG library)
- Leavens' Literature Recommendations
- LINK by Springer
- LNCS 500-latest WWW-database
- LNCS Online Digital Library
- LNCS Home Page
- Programming and Computational Languages -- A Subject Catalogue
- Médiathèque IMAG
- Math Reviews & Current Math.
- TOPPS Bibliography, DIKU
- The WWW Virtual Library
- Zentralblatt / Math Abstracts 1931 - 1996, via Mathdoc
- International Digital Electronic Access Library, Ideal US
-
MathSciNet
(Providence, RI USA, Bielefeld, Germany, Strasbourg, France),
local
WebSPIRS Database
- CompSciNet
Retour à / back to:
Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Dernière mise à jour / Last modified :
Monday, 28-Dec-2009 15:12:47 CET