Arithmétique informatique collection |
 |
Browse by collection
Institution (27 collections)
- AFRIQ - HAL-Francophonie, Afrique et océan indien6
- CEA - CEA - Commissariat à l'énergie atomique3
- CIRAD - CIRAD - Centre de coopération internationale en recherche agronomique pour le développement4
- CNRS - CNRS - Centre national de la recherche scientifique508
- DRT - Direction de la recherche technologique1
- 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 Environnement36
- INRA - INRA - Institut national de la recherche agronomique29
- INRIA - INRIA - Institut National de Recherche en Informatique et en Automatique28
- 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 Interactions26
- INSTITUT-TELECOM - Institut Télécom12
- INSU - INSU - Institut National des Sciences de l'Univers1
- IRD - IRD - Institut de recherche pour le développement4
- IRSTEA - IRSTEA - Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (<b>anciennement Cemagref</b>)6
- LETI - Laboratoire d'Electronique et des Technologies de l'Information1
- METEO - Météo France1
- MSL-THESE - Modelisation Systemes Langages1
- MSL - Modelisation Systemes Langages1
- SORBONNE-PARIS-NORD - Université Sorbonne Paris Nord2
- SORBONNE-UNIVERSITE - Sorbonne Université3
- STRAUSS - Centre Paul Strauss1
- UNIV-PARIS - Université de Paris4
Thematic (14 collections)
- AGROPOLIS - Agropolis14
- B3ESTE - Biologie, Ecologie, Evolution, Environnement, Sciences de la Terre et de l'Eau2
- BS - Biologie-Santé3
- CHIMIE - Chimie2
- EDUC - EDUCATION3
- LARA - LARA40
- MIPS - Mathématiques, Informatique, Physique et Systèmes508
- 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èmes46
- 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 (5 collections)
- COMUE-NORMANDIE - Normandie Université19
- PARISTECH - ParisTech21
- UGA - HAL Grenoble Alpes1
- UNAM - l'unam - université nantes angers le mans2
- USPC - Université Sorbonne Paris Cité5
University (34 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
- UNICAEN - Université de Caen Normandie19
- UNICE - Université Nice Sophia Antipolis2
- UNIV-AG - Université des Antilles3
- UNIV-AMU - Aix Marseille Université2
- UNIV-ARTOIS - Université d'Artois14
- UNIV-AVIGNON - Université d'Avignon3
- UNIV-BORDEAUX - Université de Bordeaux3
- UNIV-BREST - Université de Bretagne occidentale - Brest (UBO)1
- 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 III8
- UNIV-MONTPELLIER - Université de Montpellier508
- 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 Domitia3
- UNIV-REUNION - Université de la Réunion2
- UNIV-TLN - Université de Toulon1
- UNIV-TLSE2 - Université Toulouse 216
- UNIV-TLSE3 - Université Paul Sabatier - Toulouse III16
- UPEC-UPEM - UPEC-UPEM14
- UPMC - Université Pierre et Marie Curie2
- UT1-CAPITOLE - Université Toulouse 1 Capitole16
- UTT - UTT1
Grande école (15 collections)
- AGROPARISTECH - AgroParisTech1
- EC-NANTES - Ecole Centrale de Nantes2
- EMSE - Ecole Nationale Supérieure des Mines de Saint-Etienne3
- ENIB - Ecole Nationale d'Ingénieurs de Brest1
- ENPC - Ecole des Ponts ParisTech18
- ENS-LYON - École Normale Supérieure de Lyon1
- ENSICAEN - École Nationale Supérieure d’Ingénieurs de Caen18
- ENSTA-BRETAGNE - ENSTA Bretagne1
- ENSTA - ENSTA Paris1
- EPHE - Ecole Pratique des Hautes Etudes1
- IMT-ATLANTIQUE - IMT-ATLANTIQUE22
- 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 (84 collections)
- AMAP - Botanique et bio-informatique de l'architecture des plantes et des végétations2
- BIOENVIS - Fédération de Recherche BioEnviS, BioEnvironnement et Santé (Université de Lyon)1
- CDA-PR - Centre du Droit des Affaires2
- CEA-GRE - CEA Grenoble1
- CGI - Centre Génie Industriel2
- CMP-ENSMSE - CMPGC - Centre Microélectronique de Provence – Site Georges Charpak2
- COCONUT - Agents, Apprentissage, Contraintes342
- 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
- DALI - Digits, architectures et logiciels informatiques1
- DEMAR - DEambulation et Mouvement ARtificiel1
- DEXTER - Conception et commande de robots pour la manipulation2
- ECO - Exact Computing2
- ENSTA-BRETAGNE-STIC - Département STIC1
- 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
- GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)18
- GUYANE - Université de Guyane2
- HORSEQUIPE - Hors-équipe1
- I2M - Institut de Mathématiques de Marseille1
- I3M_UMR5149 - Institut de Mathématiques et de Modélisation de Montpellier5
- I3S - Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis1
- IBC - Institut de Biologie Computationnelle1
- ICARLIRMM - ICAR: Image & Interaction9
- ICG - Institut Charles Gerhardt - Institut de Chimie Moléculaire et des Matériaux de Montpellier2
- IES - Institut d'Electronique et des Systèmes1
- IMAG-MONTPELLIER - Institut Montpelliérain Alexander Grothendieck5
- IMAGINE - IMAGINE13
- IMATH - Institut de mathématiques de Toulon1
- IMB - Institut de Mathématiques de Bordeaux1
- IMJ - Institut de Mathématiques de Jussieu1
- INFO - Département informatique22
- INRIA-CHILE - INRIA Chile1
- IRIT-IA - Intelligence Artificielle3
- IRIT - IRIT - Institut de Recherche en Informatique de Toulouse3
- ITAP - Unité Mixte de Recherche Information Technologies - Analyse environnementale - Procédés agricoles7
- 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 connaissance1
- LABRI-MABIOVIS - Modèles et algorithmes pour la bioinformatique et la visualisation d'informations1
- LABRI - Laboratoire Bordelais de Recherche en Informatique3
- 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
- LATP - Laboratoire d'Analyse, Topologie, Probabilités1
- LIAFA - Laboratoire d'Informatique Algorithmique, Fondements et Applications1
- LIASD - Laboratoire d'Informatique Avancée de Saint-Denis1
- LIA - Laboratoire Informatique d'Avignon3
- LIGM - Laboratoire d'informatique Gaspard-Monge15
- 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 Montpellier508
- LIRMM_MIC - MIC1
- LISN - Laboratoire Interdisciplinaire des Sciences du Numérique1
- LJK - Laboratoire Jean Kuntzmann1
- LMGC - Laboratoire de Mécanique et Génie Civil2
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications1
- LS2N-OGRE - LS2N - équipe OGRE ( Optimisation Globale et Résolution Ensembliste )1
- LS2N - Laboratoire des Sciences du Numérique de Nantes1
- 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
- MIC - Département Microélectronique1
- MISTEA - Mathématiques, Informatique et Statistique pour l'Environnement et l'Agronomie 12
- MONTPELLIER-SUPAGRO - MONTPELLIER-SUPAGRO13
- OPENDATA - OPENDATA3
- SAS-ENSMSE - CMPGC / SAS : Systèmes et Architectures Sécurisées2
- SETE - Station d'écologie théorique et expérimentale1
- SMILE - Système Multi-agent, Interaction, Langage, Evolution21
- SYSMIC - SysMic1
- 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 (21 collections)
- ARITH - Arithmétique informatique508
- CRISTAL-RMOD - CRISTAL-RMOD1
- FST-REUNION - UFR Sciences et technologies - Université de La Réunion2
- GREYC-CODAG - GREYC codag11
- GREYC-MAD - GREYC mad6
- GS-COMPUTER-SCIENCE - Graduate School Computer Science1
- GS-MATHEMATIQUES - Graduate School Mathématiques1
- INRAEOCCITANIEMONTPELLIER - INRAE Occitanie Montpellier15
- IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage 3
- 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 graphics14
- LJK_MAD_CASYS - CASYS1
- LJK_MAD - Département Modèles et Algorithmes Déterministes1
- STAR - STAR - Dépôt national des thèses électroniques2
- SU-TI - Sorbonne Université - Texte Intégral2
- TELEARN - TELEARN1
- TICE - Bibliothèque TICE5
- UR1-DROIT - Faculté de droit - unités de recherche2