Institution (33 collections)
- AFRIQ - HAL-Francophonie, Afrique et océan indien 7
- CIRAD - CIRAD - Centre de coopération internationale en recherche agronomique pour le développement 5
- CNRS - CNRS - Centre national de la recherche scientifique 363
- ENS-PARIS-SACLAY - Ecole Normale Supérieure paris-Saclay 2
- EPHE - École Pratique des Hautes Études 3
- ESIEE-PARIS - ESIEE Paris 11
- FNCLCC - UNICANCER 1
- GALILE - Institut Galilée Université Paris 13 2
- HESAM - Hesam 2
- INC-CNRS - Institut de Chimie du CNRS 1
- INRAE - Institut National de Recherche en Agriculture, Alimentation et Environnement 38
- INRA - INRA - Institut national de la recherche agronomique 30
- INRIA2 - INRIA 2 29
- INRIA - INRIA - Institut National de Recherche en Informatique et en Automatique 31
- INSA-CVL - INSA CENTRE VAL DE LOIRE 2
- INSA-GROUPE - Groupe INSA 15
- 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 14
- INSTITUT-AGRO-MONTPELLIER - Institut Agro Montpellier 17
- INSTITUT-MINES-TELECOM - Institut Mines Telecom 26
- 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é 23
- OMP - Observatoire Midi-Pyrénées 1
- SORBONNE-PARIS-NORD - Université Sorbonne Paris Nord 2
- SORBONNE-UNIVERSITE - Sorbonne Université 5
- STRAUSS - Centre Paul Strauss 1
- UNIV-EIFFEL - Université Gustave Eiffel 16
- UT3-TOULOUSEINP - Université Toulouse III / Toulouse INP 22
Thématique (21 collections)
- AFPC - Thèses et HDR autour de la Programmation Par Contraintes 3
- AGROPOLIS - Agropolis 13
- AMIS - AMIS 1
- AXESECULIRMM - Axe sécurité du LIRMM 1
- B3ESTE - Biologie, Ecologie, Evolution, Environnement, Sciences de la Terre et de l'Eau 2
- BA - Biologie-AgroSciences 3
- BS - Biologie-Santé 4
- CHIMIE - Chimie 2
- ECON - Economie 1
- EDUC - EDUCATION 3
- INFOLOGY-INFOLOGIE - INFOLOGY-INFOLOGIE 1
- INRIA-MEDIATION-SCIENTIFIQUE - INRIA-MEDIATION-SCIENTIFIQUE 2
- LARA - LARA 8
- MIPS - Mathématiques, Informatique, Physique et Systèmes 363
- OMNIPHILO - OMNIPHILO : Archive ouverte dédiée à la Philosophie 1
- TDS-MACS - Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes 25
- 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 (5 collections)
- COMUE-NORMANDIE - Normandie Université 19
- PARISTECH - ParisTech 22
- PRES_CLERMONT - Université de Clermont 2
- UGA - HAL Grenoble Alpes 3
- UNAM - l'unam - université nantes angers le mans 2
Université (37 collections)
- PSL - Université Paris sciences et lettres 4
- SU-MEDECINE - Faculté de Santé de Sorbonne Université 1
- SU-SCIENCES - Faculté des Sciences de Sorbonne Université 4
- TOULOUSE-INP - Toulouse - INP 21
- 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-ANGERS - Université d'Angers 2
- UNIV-ARTOIS - Université d'Artois 17
- UNIV-AVIGNON - Université d'Avignon 3
- UNIV-BORDEAUX - Université de Bordeaux 4
- UNIV-BREST - Université de Bretagne occidentale - Brest (UBO) 4
- UNIV-COTEDAZUR - Université Côte d'Azur 2
- UNIV-DAUPHINE - Université Paris Dauphine - Paris IX 3
- UNIV-LILLE3 - Université de Lille Sciences humaines et sociales 1
- UNIV-LORRAINE - Université de Lorraine 1
- UNIV-LYON1 - Université Claude Bernard - Lyon I 4
- UNIV-LYON2 - Université Lumière Lyon 2 2
- UNIV-MLV - Université de Marne la Vallée 3
- UNIV-MONTP3 - Université Paul-Valéry - Montpellier 3 6
- UNIV-MONTPELLIER - Université de Montpellier 363
- UNIV-NANTES - Université de Nantes 24
- UNIV-ORLEANS - Université d'Orléans 3
- UNIV-PARIS-SACLAY - Université Paris-Saclay 5
- 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-RENNES1 - Université de Rennes 1 6
- UNIV-RENNES - Université de Rennes 6
- UNIV-REUNION - Université de la Réunion 2
- UNIV-TLSE2 - Université Toulouse 2 21
- UNIV-UT3 - Université Toulouse 3 22
- UPMC - Université Pierre et Marie Curie 2
- UT1-CAPITOLE - Université Toulouse 1 Capitole 21
- UTT - UTT 1
École (19 collections)
- AGROPARISTECH - AgroParisTech 3
- CENTRALESUPELEC - Ecole CentraleSupélec 3
- CLERMONT-AUVERGNE-INP - Clermont Auvergne INP 2
- EC-LYON - Ecole Centrale de Lyon 2
- 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-CACHAN - Ecole Normale Supérieure de Cachan 2
- 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 21
- INSA-LYON - Institut National des Sciences Appliquées de Lyon 2
- INSA-TOULOUSE - Institut National des Sciences Appliquées de Toulouse 15
- MINES-ALBI - Ecole nationale supérieure des Mines d'Albi-Carmaux 2
- SUPELEC - SUPELEC 1
- X - Ecole Polytechnique 2
Laboratoire (97 collections)
- ACT-R - Act'R 2
- 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
- CEM2 - Centre d'électronique et de micro-optoélectronique de Montpellier 1
- CGI - Centre Génie Industriel 2
- CITI - Centre of Innovation in Telecommunications and Integration of services 2
- CLLE - Cognition, Langues, Langage, Ergonomie 2
- CNRM - Centre national de recherches météorologiques 1
- COCONUT - Agents, Apprentissage, Contraintes 356
- CORDELIERS - Centre de recherche des Cordeliers 1
- CRIL - Centre de recherche en informatique de Lens 17
- 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é 2
- 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 3
- 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 2
- IMAGINE - IMAGINE 13
- IMJ - Institut de Mathématiques de Jussieu 1
- INFO - Département informatique 20
- INRIA-CHILE - INRIA Chile 1
- IRISA - Irisa 4
- IRIT-IA - Intelligence Artificielle 8
- IRIT - IRIT - Institut de Recherche en Informatique de Toulouse 8
- ISIR_AMAC - Architectures et Modèles de l'Adaptation et de la Cognition 2
- ISIR - Institut des Systèmes Intelligents et de Robotique 2
- ITAP - Unité Mixte de Recherche Information - Technologies - Analyse environnementale - Procédés agricoles 5
- LAAS - Laboratoire d'analyse et d'architecture des systèmes 15
- LAB-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance 4
- LAB-STICC_ROBEX - Equipe ROBotics for EXploration 1
- LAB-STICC_TB - Publications Télécom Bretagne du Lab-STICC 2
- LAB-STICC_UBO - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, site de l'UBO 2
- 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) 3
- LBBE - Laboratoire de biométrie et biologie évolutive 1
- LERIA - Laboratoire d'Etude et de Recherche en Informatique d'Angers 2
- LGI2A - Laboratoire de Génie Informatique et d'Automatique de l'Artois 2
- 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
- LIG - Laboratoire d'Informatique de Grenoble 2
- LIMOS - Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes 2
- 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 17
- LINA - Laboratoire d'Informatique de Nantes Atlantique 20
- LIP6 - Laboratoire d'Informatique de Paris 6 2
- LIPN - Laboratoire d'Informatique de Paris-Nord 2
- LIRDEF - Laboratoire Interdisciplinaire de Recherche en Didactique, Éducation et Formation 3
- LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information 2
- LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier 363
- LISN-LAHDAK - Données et Connaissances Massives et Hétérogènes 1
- LISN - Laboratoire Interdisciplinaire des Sciences du Numérique 2
- LIX - Laboratoire d'informatique de l'école polytechnique 1
- LMF - Laboratoire Méthodes Formelles 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 Pathogens and Host Immunity 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 21
- 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 3
- MIAT - Unité de Mathématiques et Informatique Appliquées de Toulouse 16
- MISTEA - Mathématiques, Informatique et Statistique pour l'Environnement et l'Agronomie 14
- MRE - Montpellier Recherche en Economie 1
- OPENDATA - OPENDATA 3
- SMILE - Système Multi-agent, Interaction, Langage, Evolution 21
- TEXTE - Exploration et Exploitation de Données Textuelles 1
- UDL - UDL 4
- 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 3
- UNIV-PARIS-LUMIERES - Université Paris Lumières 1
- WEB-CUBE - WEB-CUBE 4
- 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
Colloque (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 1
- JFSMA - Journées Francophones sur les Systèmes Multi-Agents 2
Autre (38 collections)
- ANR - ANR 14
- ARITH - Arithmétique informatique 363
- CRISTAL-RMOD - CRISTAL-RMOD 1
- DPT_ECODIV - Ecologie et biodiversité 1
- FST-REUNION - UFR Sciences et technologies - Université de La Réunion 2
- GREYC-CODAG - GREYC codag 12
- GREYC-MAD - GREYC mad 6
- GS-COMPUTER-SCIENCE - Graduate School Computer Science 3
- GS-LIFE-SCIENCES-HEALTH - Graduate School Life Sciences and Health 2
- GS-MATHEMATIQUES - Graduate School Mathématiques 3
- GS-SPORT-HUMAN-MOVEMENT - Graduate School Sport, Mouvement, Facteurs Humains 1
- INRAEOCCITANIEMONTPELLIER - INRAE Occitanie Montpellier 18
- INRAEOCCITANIETOULOUSE - INRAE Occitanie Toulouse 14
- IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage 6
- IRIT-CNRS - IRIT - Centre National de la Recherche Scientifique 5
- IRIT-LILAC - Logique, Interaction, Langue et Calcul 1
- IRIT-MELODI - Méthodes et Ingénierie des Langues, des Ontologies et du Discours 4
- IRIT-UT3 - IRIT - Université Toulouse III Paul Sabatier 3
- LAAS-DECISION-ET-OPTIMISATION - LAAS-Décision et Optimisation 8
- LAAS-RIS - Équipe Robotique et InteractionS 2
- LAAS-ROBOTIQUE - LAAS-Robotique 2
- LAAS-ROC - Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes 12
- LIG-TDCGE-MOEX - MOEX - Évolution de la connaissance 2
- LIG-TDCGE-SLIDE - SLIDE - ScaLable Information Discovery and Exploitation 2
- LIGM_A3SI - Algorithms, architectures, image analysis and computer graphics 15
- LIG_SIDCH - Systèmes intelligents pour les données, les connaissances et les humains 2
- LRI-AO - Laboratoire de recherche en informatique. Équipe: Apprentissage et optimisation 1
- SFSIC-ACTES - Actes de colloques de la SFSIC 1
- SFSIC - Publications SFSIC 1
- STAR - STAR - Dépôt national des thèses électroniques 2
- TELEARN - TELEARN 1
- THESES-UNC - Thèses de l'Université de la Nouvelle-Calédonie 1
- TICE - Bibliothèque TICE 6
- UR1-DEGSP - Pôle UnivRennes - Sciences de l'Homme, des Organisations et de la Société 2
- UR1-DROIT - Faculté de droit - unités de recherche 2
- UR1-MATH-NUM - Pôle UnivRennes - 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
