Arithmétique informatique collection |
 |
Browse by collection
Institution (26 collections)
- AFRIQ - HAL-Francophonie, Afrique et océan indien7
- CIRAD - CIRAD - Centre de coopération internationale en recherche agronomique pour le développement3
- CNRS - CNRS - Centre national de la recherche scientifique357
- ESIEE-PARIS - ESIEE Paris11
- FNCLCC - UNICANCER1
- GALILE - Institut Galilée Université Paris 132
- INC-CNRS - Institut de Chimie du CNRS2
- INRAE - Institut National de Recherche en Agriculture, Alimentation et Environnement34
- INRA - INRA - Institut national de la recherche agronomique29
- INRIA2 - INRIA 226
- INRIA - INRIA - Institut National de Recherche en Informatique et en Automatique30
- INSA-GROUPE - Groupe INSA13
- INSERM - INSERM - Institut national de la santé et de la recherche médicale1
- INSMI - CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions12
- INSTITUT-TELECOM - Institut Télécom10
- INSU - INSU - Institut National des Sciences de l'Univers1
- IRD - IRD - Institut de recherche pour le développement5
- 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 France1
- MSL-THESE - Modelisation Systemes Langages1
- MSL - Modelisation Systemes Langages1
- OMP - Observatoire Midi-Pyrénées1
- SORBONNE-PARIS-NORD - Université Sorbonne Paris Nord2
- SORBONNE-UNIVERSITE - Sorbonne Université3
- STRAUSS - Centre Paul Strauss1
- UNIV-PARIS - Université de Paris4
Thematic (17 collections)
- AFPC - Thèses et HDR autour de la Programmation Par Contraintes3
- AGROPOLIS - Agropolis12
- B3ESTE - Biologie, Ecologie, Evolution, Environnement, Sciences de la Terre et de l'Eau2
- BA - Biologie-AgroSciences1
- BS - Biologie-Santé3
- CHIMIE - Chimie2
- EDUC - EDUCATION3
- INFOLOGY-INFOLOGIE - INFOLOGY-INFOLOGIE1
- LARA - LARA8
- MIPS - Mathématiques, Informatique, Physique et Systèmes357
- OMNIPHILO - OMNIPHILO : Archive ouverte dédiée à la Philosophie1
- 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èmes12
- TEL - Technology Enhanced Learning - Environnements Informatiques pour l’Apprentissage Humain2
- UNIV-PARIS8-OA - HAL UNIV-PARIS8 - open access1
- UP-SANTE - Université de Paris - Faculté de Santé1
- UP-SCIENCES - Université de Paris - Faculté des Sciences1
PRES (3 collections)
- COMUE-NORMANDIE - Normandie Université19
- PARISTECH - ParisTech22
- UNAM - l'unam - université nantes angers le mans3
University (33 collections)
- PSL - Université Paris sciences et lettres2
- SU-MEDECINE - Faculté de Médecine de Sorbonne Université1
- SU-SCIENCES - Faculté des Sciences de Sorbonne Université2
- U-PICARDIE - Université de Picardie Jules Verne1
- UNICAEN - Université de Caen Normandie19
- UNIV-AG - Université des Antilles3
- UNIV-AMU - Aix Marseille Université1
- UNIV-ARTOIS - Université d'Artois14
- UNIV-AVIGNON - Université d'Avignon3
- UNIV-BREST - Université de Bretagne occidentale - Brest (UBO)2
- UNIV-COTEDAZUR - Université Côte d'Azur2
- UNIV-DAUPHINE - Université Paris Dauphine - Paris IX1
- UNIV-LILLE3 - Université de Lille Sciences humaines et sociales1
- UNIV-LORRAINE - Université de Lorraine1
- UNIV-LYON1 - Université Claude Bernard - Lyon I2
- UNIV-MLV - Université de Marne la Vallée3
- UNIV-MONTP3 - Université Paul-Valéry - Montpellier 35
- UNIV-MONTPELLIER - Université de Montpellier357
- UNIV-NANTES - Université de Nantes22
- UNIV-ORLEANS - Université d'Orléans1
- UNIV-PARIS13 - Université Paris-Nord - Paris XIII 2
- UNIV-PARIS5 - Université Paris Descartes (Paris 5)1
- UNIV-PARIS7 - Université Denis Diderot - Paris VII4
- UNIV-PARIS8 - Université Paris VIII Vincennes-Saint Denis1
- UNIV-PERP - Université de Perpignan Via Domitia2
- UNIV-REUNION - Université de la Réunion2
- UNIV-TLSE2 - Université Toulouse 217
- UNIV-TLSE3 - Université Paul Sabatier - Toulouse III17
- UNIV-UT3 - Université Toulouse 317
- UPEC-UPEM - UPEC-UPEM14
- UPMC - Université Pierre et Marie Curie2
- UT1-CAPITOLE - Université Toulouse 1 Capitole17
- UTT - UTT1
Grande école (14 collections)
- AGROPARISTECH - AgroParisTech1
- EC-NANTES - Ecole Centrale de Nantes3
- ENIB - Ecole Nationale d'Ingénieurs de Brest2
- ENPC - Ecole des Ponts ParisTech19
- ENS-LYON - École Normale Supérieure de Lyon1
- ENSICAEN - École Nationale Supérieure d’Ingénieurs de Caen18
- ENSTA-BRETAGNE - ENSTA Bretagne2
- ENSTA - ENSTA Paris1
- EPHE - Ecole Pratique des Hautes Etudes1
- IMT-ATLANTIQUE - IMT-ATLANTIQUE23
- INSA-TOULOUSE - Institut National des Sciences Appliquées de Toulouse13
- MINES-ALBI - Ecole nationale supérieure des Mines d'Albi-Carmaux2
- SUPELEC - SUPELEC1
- X - Ecole Polytechnique1
Laboratory (72 collections)
- AMAP - Botanique et bio-informatique de l'architecture des plantes et des végétations2
- AXESECULIRMM - Axe sécurité du LIRMM1
- BIOENVIS - Fédération de Recherche BioEnviS, BioEnvironnement et Santé (Université de Lyon)1
- CDA-PR - Centre du Droit des Affaires2
- CGI - Centre Génie Industriel2
- COCONUT - Agents, Apprentissage, Contraintes351
- CORDELIERS - Centre de recherche des Cordeliers1
- CRIL - Centre de recherche en informatique de Lens14
- CRISTAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)1
- DEMAR - DEambulation et Mouvement ARtificiel1
- DEXTER - Conception et commande de robots pour la manipulation2
- ECO - Exact Computing1
- ENSTA-BRETAGNE-STIC - Département STIC2
- 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 pavages2
- ESPACE-DEV - Espace pour le Développement2
- FADO - Fuzziness, Alignments, Data & Ontologies4
- GRAPHIK - Graphs for Inferences on Knowledge1
- GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)18
- GUYANE - Université de Guyane2
- HORSEQUIPE - Hors-équipe1
- I3S - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis1
- IATE - Ingénierie des agropolymères et technologies émergentes1
- ICARLIRMM - ICAR: Image & Interaction4
- ICG - Institut Charles Gerhardt - Institut de Chimie Moléculaire et des Matériaux de Montpellier2
- IES - Institut d'Electronique et des Systèmes1
- IMAGINE - IMAGINE13
- IMJ - Institut de Mathématiques de Jussieu1
- INFO - Département informatique22
- INRIA-CHILE - INRIA Chile1
- IRIT-IA - Intelligence Artificielle4
- IRIT - IRIT - Institut de Recherche en Informatique de Toulouse4
- ITAP - Unité Mixte de Recherche Information Technologies - Analyse environnementale - Procédés agricoles5
- LAAS - Laboratoire d'analyse et d'architecture des systèmes13
- LAB-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance2
- LAB-STICC_ROBEX - Equipe ROBotics for EXploration1
- LAMFA - Laboratoire Amiénois de Mathématique Fondamentale et Appliquée - UMR CNRS 73521
- LAMSADE-DAUPHINE - LAMSADE (Laboratoire d'Analyse et de Modélisation des Systèmes pour l'Aide à la Décision)1
- LIASD - Laboratoire d'Informatique Avancée de Saint-Denis1
- LIA - Laboratoire Informatique d'Avignon3
- LIGM - Laboratoire d'informatique Gaspard-Monge16
- LIMSI - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur1
- LIM - Laboratoire d'Informatique et de Mathématiques2
- LINA-TASC - LINA - TASC18
- LINA - Laboratoire d'Informatique de Nantes Atlantique19
- LIPN - Laboratoire d'Informatique de Paris-Nord2
- LIRDEF - Laboratoire Interdisciplinaire de Recherche en Didactique, Éducation et Formation3
- LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier357
- LISN - Laboratoire Interdisciplinaire des Sciences du Numérique1
- LMGC - Laboratoire de Mécanique et Génie Civil2
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications1
- LOSI - LOSI1
- LPHI - Laboratory of Pathogenes Hosts Interactions1
- LS2N-OGRE - LS2N - équipe OGRE ( Optimisation Globale et Résolution Ensembliste )1
- LS2N - Laboratoire des Sciences du Numérique de Nantes3
- LTCI - Laboratoire Traitement et Communication de l'Information3
- MAB - Méthodes et Algorithmes pour la Bioinformatique3
- MAORE - Méthodes Algorithmes pour l'Ordonnancement et les Réseaux2
- MAREL - Models And Reuse Engineering, Languages6
- MIA-PARIS - MIA-Paris1
- MISTEA - Mathématiques, Informatique et Statistique pour l'Environnement et l'Agronomie 12
- MONTPELLIER-SUPAGRO - MONTPELLIER-SUPAGRO13
- OPENDATA - OPENDATA3
- SMILE - Système Multi-agent, Interaction, Langage, Evolution21
- TEXTE - Exploration et Exploitation de Données Textuelles1
- UDL - UDL2
- UMI-209 - Unité de modélisation mathématique et informatique des systèmes complexes1
- UMMISCO - Unité de Modélisation Mathématique et Informatique de Systèmes COmplexes1
- UNIV-PARIS-LUMIERES - Université Paris Lumières1
- X-CREA - Centre de Recherche en Epistémologie Appliquée (CREA)1
- ZENITH - Scientific Data Management9
Colloquium (5 collections)
- BDA - BDA <br>Gestion de Données – Principes, Technologies et Applications2
- CAP2012 - CAp 2012 - Conférence Francophone sur l'Apprentissage Automatique1
- JFPC05 - JFPC 2005 - Premières Journées Francophones de Programmation par Contraintes2
- JFPC06 - JFPC 2006 - Deuxièmes Journées Francophones de Programmation par Contraintes1
- JFPC08 - JFPC 2008 - Quatrièmes Journées Francophones de Programmation par Contraintes2
Other (20 collections)
- ANR - ANR12
- ARITH - Arithmétique informatique357
- CRISTAL-RMOD - CRISTAL-RMOD1
- FST-REUNION - UFR Sciences et technologies - Université de La Réunion2
- GREYC-CODAG - GREYC codag12
- GREYC-MAD - GREYC mad6
- GS-MATHEMATIQUES - Graduate School Mathématiques1
- INRAEOCCITANIEMONTPELLIER - INRAE Occitanie Montpellier14
- IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage 4
- IRIT-CNRS - IRIT - Centre National de la Recherche Scientifique3
- IRIT-UT3 - IRIT - Université Toulouse III Paul Sabatier1
- LAAS-DECISION-ET-OPTIMISATION - LAAS-Décision et Optimisation8
- LAAS-ROC - Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes12
- LIGM_A3SI - Algorithms, architectures, image analysis and computer graphics15
- STAR - STAR - Dépôt national des thèses électroniques2
- SU-TI - Sorbonne Université - Texte Intégral2
- TELEARN - TELEARN1
- TICE - Bibliothèque TICE5
- UR1-DEGSP - Pôle Rennes 1 - Droit-Economie-Gestion-Sciences Politiques-Philosophie2
- UR1-DROIT - Faculté de droit - unités de recherche2