Institution (29 collections)
- AFRIQ - HAL-Francophonie, Afrique et océan indien 7
- CIRAD - CIRAD - Centre de coopération internationale en recherche agronomique pour le développement 3
- CNRS - CNRS - Centre national de la recherche scientifique 360
- EPHE - Ecole Pratique des Hautes Etudes 1
- ESIEE-PARIS - ESIEE Paris 11
- FNCLCC - UNICANCER 1
- GALILE - Institut Galilée Université Paris 13 2
- INC-CNRS - Institut de Chimie du CNRS 2
- INRAE - Institut National de Recherche en Agriculture, Alimentation et Environnement 36
- INRA - INRA - Institut national de la recherche agronomique 29
- INRIA2 - INRIA 2 27
- INRIA - INRIA - Institut National de Recherche en Informatique et en Automatique 30
- INSA-GROUPE - Groupe INSA 13
- INSERM - INSERM - Institut national de la santé et de la recherche médicale 1
- INSMI - CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions 12
- INSTITUT-TELECOM - Institut Mines Télécom 10
- INSU - INSU - Institut National des Sciences de l'Univers 1
- IRD - IRD - Institut de recherche pour le développement 6
- IRSTEA - IRSTEA - Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (<b>anciennement Cemagref</b>) 3
- METEO - Météo France 1
- MSL-THESE - Modelisation Systemes Langages 1
- MSL - Modelisation Systemes Langages 1
- NANTES-UNIVERSITE - Nantes Université 21
- OMP - Observatoire Midi-Pyrénées 1
- SORBONNE-PARIS-NORD - Université Sorbonne Paris Nord 2
- SORBONNE-UNIVERSITE - Sorbonne Université 3
- STRAUSS - Centre Paul Strauss 1
- UNIV-EIFFEL - Université Gustave Eiffel 16
- UT3-TOULOUSEINP - Université Toulouse III / Toulouse INP 20
Thematic (19 collections)
- AFPC - Thèses et HDR autour de la Programmation Par Contraintes 3
- AGROPOLIS - Agropolis 13
- AXESECULIRMM - Axe sécurité du LIRMM 1
- B3ESTE - Biologie, Ecologie, Evolution, Environnement, Sciences de la Terre et de l'Eau 2
- BA - Biologie-AgroSciences 1
- BS - Biologie-Santé 3
- CHIMIE - Chimie 2
- EDUC - EDUCATION 3
- INFOLOGY-INFOLOGIE - INFOLOGY-INFOLOGIE 1
- LARA - LARA 8
- MIPS - Mathématiques, Informatique, Physique et Systèmes 360
- OMNIPHILO - OMNIPHILO : Archive ouverte dédiée à la Philosophie 1
- SMS - Structuration des Mondes Sociaux (SMS) 2
- TDS-MACS - Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes 13
- TEL - Technology Enhanced Learning - Environnements Informatiques pour l’Apprentissage Humain 2
- UNIV-PARIS8-OA - HAL UNIV-PARIS8 - open access 1
- UP-SANTE - Université de Paris - Faculté de Santé 1
- UP-SCIENCES - Université de Paris - Faculté des Sciences 1
- X-DEP-INFO - Département d'informatique 1
PRES (3 collections)
- COMUE-NORMANDIE - Normandie Université 19
- PARISTECH - ParisTech 22
- UNAM - l'unam - université nantes angers le mans 2
University (32 collections)
- PSL - Université Paris sciences et lettres 2
- SU-MEDECINE - Faculté de Médecine de Sorbonne Université 1
- SU-SCIENCES - Faculté des Sciences de Sorbonne Université 2
- TOULOUSE-INP - Toulouse - INP 19
- U-PICARDIE - Université de Picardie Jules Verne 1
- UNICAEN - Université de Caen Normandie 19
- UNIV-AG - Université des Antilles 3
- UNIV-AMU - Aix Marseille Université 1
- UNIV-ARTOIS - Université d'Artois 15
- UNIV-AVIGNON - Université d'Avignon 3
- UNIV-BREST - Université de Bretagne occidentale - Brest (UBO) 2
- UNIV-COTEDAZUR - Université Côte d'Azur 2
- UNIV-DAUPHINE - Université Paris Dauphine - Paris IX 1
- UNIV-LILLE3 - Université de Lille Sciences humaines et sociales 1
- UNIV-LORRAINE - Université de Lorraine 1
- UNIV-LYON1 - Université Claude Bernard - Lyon I 2
- UNIV-MLV - Université de Marne la Vallée 3
- UNIV-MONTP3 - Université Paul-Valéry - Montpellier 3 5
- UNIV-MONTPELLIER - Université de Montpellier 360
- UNIV-NANTES - Université de Nantes 22
- UNIV-ORLEANS - Université d'Orléans 1
- UNIV-PARIS-SACLAY - Université Paris-Saclay 1
- UNIV-PARIS13 - Université Paris-Nord - Paris XIII 2
- UNIV-PARIS7 - Université Denis Diderot - Paris VII 4
- UNIV-PARIS8 - Université Paris VIII Vincennes-Saint Denis 1
- UNIV-PERP - Université de Perpignan Via Domitia 2
- UNIV-REUNION - Université de la Réunion 2
- UNIV-TLSE2 - Université Toulouse 2 19
- UNIV-UT3 - Université Toulouse 3 20
- UPMC - Université Pierre et Marie Curie 2
- UT1-CAPITOLE - Université Toulouse 1 Capitole 2
- UTT - UTT 1
Grande école (15 collections)
- AGROPARISTECH - AgroParisTech 1
- CENTRALESUPELEC - Ecole CentraleSupélec 1
- EC-NANTES - Ecole Centrale de Nantes 2
- EC-PARIS - Ecole Centrale Paris 1
- ENIB - Ecole Nationale d'Ingénieurs de Brest 2
- ENPC - Ecole des Ponts ParisTech 19
- ENS-LYON - École Normale Supérieure de Lyon 1
- ENSICAEN - École Nationale Supérieure d’Ingénieurs de Caen 18
- ENSTA-BRETAGNE - ENSTA Bretagne 2
- ENSTA - ENSTA Paris 1
- IMT-ATLANTIQUE - IMT-ATLANTIQUE 22
- INSA-TOULOUSE - Institut National des Sciences Appliquées de Toulouse 13
- MINES-ALBI - Ecole nationale supérieure des Mines d'Albi-Carmaux 2
- SUPELEC - SUPELEC 1
- X - Ecole Polytechnique 2
Laboratory (77 collections)
- AMAP - Botanique et bio-informatique de l'architecture des plantes et des végétations 2
- BIOENVIS - Fédération de Recherche BioEnviS, BioEnvironnement et Santé (Université de Lyon) 1
- CDA-PR - Centre du Droit des Affaires 2
- CGI - Centre Génie Industriel 2
- COCONUT - Agents, Apprentissage, Contraintes 354
- CORDELIERS - Centre de recherche des Cordeliers 1
- CRIL - Centre de recherche en informatique de Lens 15
- CRISTAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL) 1
- DEMAR - DEambulation et Mouvement ARtificiel 1
- DEXTER - Conception et commande de robots pour la manipulation 2
- ECO - Exact Computing 1
- ENSTA-BRETAGNE-STIC - Département STIC 2
- ENSTA_U2IS - Unité d'Informatique et d'Ingénierie des Systèmes (U2IS) 1
- EPSYLON - Dynamique des capacités humaines et des conduites de santé 1
- ESCAPE - Systèmes complexes, automates et pavages 2
- ESPACE-DEV - Espace pour le Développement 2
- FADO - Fuzziness, Alignments, Data & Ontologies 4
- GRAPHIK - Graphs for Inferences on Knowledge 1
- GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC) 18
- GUYANE - Université de Guyane 2
- HORSEQUIPE - Hors-équipe 1
- I3S - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis 1
- IATE - Ingénierie des agropolymères et technologies émergentes 1
- ICARLIRMM - ICAR: Image & Interaction 4
- ICG - Institut Charles Gerhardt - Institut de Chimie Moléculaire et des Matériaux de Montpellier 2
- IES - Institut d'Electronique et des Systèmes 1
- IMAGINE - IMAGINE 13
- IMJ - Institut de Mathématiques de Jussieu 1
- INFO - Département informatique 22
- INRIA-CHILE - INRIA Chile 1
- IRISA - Irisa 4
- IRIT-IA - Intelligence Artificielle 6
- IRIT - IRIT - Institut de Recherche en Informatique de Toulouse 6
- ITAP - Unité Mixte de Recherche Information Technologies - Analyse environnementale - Procédés agricoles 5
- LAAS - Laboratoire d'analyse et d'architecture des systèmes 13
- LAB-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance 2
- LAB-STICC_ROBEX - Equipe ROBotics for EXploration 1
- LAMFA - Laboratoire Amiénois de Mathématique Fondamentale et Appliquée - UMR CNRS 7352 1
- LAMSADE-DAUPHINE - LAMSADE (Laboratoire d'Analyse et de Modélisation des Systèmes pour l'Aide à la Décision) 1
- LIASD - Laboratoire d'Intelligence Artificielle et Sémantique des Données 1
- LIA - Laboratoire Informatique d'Avignon 1
- LIGM - Laboratoire d'informatique Gaspard-Monge 16
- LIMSI - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur 1
- LIM - Laboratoire d'Informatique et de Mathématiques 2
- LINA-TASC - LINA - TASC 18
- LINA - Laboratoire d'Informatique de Nantes Atlantique 19
- LIPN - Laboratoire d'Informatique de Paris-Nord 2
- LIRDEF - Laboratoire Interdisciplinaire de Recherche en Didactique, Éducation et Formation 3
- LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier 360
- LISN - Laboratoire Interdisciplinaire des Sciences du Numérique 1
- LIX - Laboratoire d'informatique de l'école polytechnique 1
- LMGC - Laboratoire de Mécanique et Génie Civil 2
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications 1
- LOSI - LOSI 1
- LPHI - Laboratory of Pathogenes Hosts Interactions 1
- LS2N-OGRE - LS2N - équipe OGRE ( Optimisation Globale et Résolution Ensembliste ) 1
- LS2N-TASC - LS2N - équipe TASC ( Théorie, Algorithmes et Systèmes en Contraintes ) 1
- LS2N - Laboratoire des Sciences du Numérique de Nantes 2
- LTCI - Laboratoire Traitement et Communication de l'Information 3
- MAB - Méthodes et Algorithmes pour la Bioinformatique 3
- MAORE - Méthodes Algorithmes pour l'Ordonnancement et les Réseaux 2
- MAREL - Models And Reuse Engineering, Languages 6
- MATHNUM - Département MathNum 33
- MIA-PARIS - MIA-Paris 1
- MISTEA - Mathématiques, Informatique et Statistique pour l'Environnement et l'Agronomie 14
- MONTPELLIER-SUPAGRO - MONTPELLIER-SUPAGRO 15
- OPENDATA - OPENDATA 3
- SMILE - Système Multi-agent, Interaction, Langage, Evolution 21
- TEXTE - Exploration et Exploitation de Données Textuelles 1
- UDL - UDL 2
- UMI-209 - Unité de modélisation mathématique et informatique des systèmes complexes 1
- UMMISCO - Unité de Modélisation Mathématique et Informatique de Systèmes COmplexes 1
- UMR8623 - Laboratoire de Recherche en Informatique 1
- UNIV-PARIS-LUMIERES - Université Paris Lumières 1
- X-CREA - Centre de Recherche en Epistémologie Appliquée (CREA) 1
- X-LIX - Laboratoire d'informatique de l'X (LIX) 1
- ZENITH - Scientific Data Management 9
Colloquium (6 collections)
- BDA - BDA <br>Gestion de Données – Principes, Technologies et Applications 2
- CAP2012 - CAp 2012 - Conférence Francophone sur l'Apprentissage Automatique 1
- JFPC05 - JFPC 2005 - Premières Journées Francophones de Programmation par Contraintes 2
- JFPC06 - JFPC 2006 - Deuxièmes Journées Francophones de Programmation par Contraintes 1
- JFPC08 - JFPC 2008 - Quatrièmes Journées Francophones de Programmation par Contraintes 2
- JFSMA - Journées Francophones sur les Systèmes Multi-Agents 2
Other (25 collections)
- ANR - ANR 12
- ARITH - Arithmétique informatique 360
- CRISTAL-RMOD - CRISTAL-RMOD 1
- FST-REUNION - UFR Sciences et technologies - Université de La Réunion 2
- GREYC-CODAG - GREYC codag 12
- GREYC-MAD - GREYC mad 6
- GS-MATHEMATIQUES - Graduate School Mathématiques 1
- INRAEOCCITANIEMONTPELLIER - INRAE Occitanie Montpellier 16
- INRAEOCCITANIETOULOUSE - INRAE Occitanie Toulouse 16
- IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage 4
- IRIT-CNRS - IRIT - Centre National de la Recherche Scientifique 3
- IRIT-MELODI - Méthodes et Ingénierie des Langues, des Ontologies et du Discours 2
- IRIT-UT3 - IRIT - Université Toulouse III Paul Sabatier 1
- LAAS-DECISION-ET-OPTIMISATION - LAAS-Décision et Optimisation 8
- LAAS-ROC - Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes 12
- LIGM_A3SI - Algorithms, architectures, image analysis and computer graphics 15
- LRI-AO - Laboratoire de recherche en informatique. Équipe: Apprentissage et optimisation 1
- STAR - STAR - Dépôt national des thèses électroniques 2
- TELEARN - TELEARN 1
- TICE - Bibliothèque TICE 5
- UR1-DEGSP - Pôle Rennes 1 - Droit-Economie-Gestion-Sciences Politiques-Philosophie 2
- UR1-DROIT - Faculté de droit - unités de recherche 2
- UR1-MATH-NUM - Pôle Rennes 1 - Mathématiques - Numérique 4
- UR1-MATH-STIC - UR1 - publications Maths-STIC 4
- UR1-UFR-ISTIC - UFR ISTIC Informatique et électronique 4
Arithmétique informatique
