Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-03136256v1 Patents Jean-Christophe Filliâtre, Andrei Paskevich, Guillaume Melquiond, Claude Marché, François Bobot. Why3 version 1.0 France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018
	hal-00696816v1 Book sections Jean-Daniel Fekete. Visualiser l'information pour la comprendre vite et bien ADBS éditions. L'usager numérique, ADBS éditions, pp.161-194, 2010, 978-2-84365-126-7
	hal-01515255v1 Book sections D. Auber, Michel Beaudouin-Lafon. Visualisation de données massives MOKRANE BOUZEGHOUB ; RÉMY MOSSERI Les Big Data à découvert, CNRS DITIIONS, 2017, 978-2-271-11464-8
	hal-00876575v1 Book sections Jean-Daniel Fekete. Visualisation d'information Jacky Akoka Isabelle Comyn-Wattiau. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2006, 2-7117-4846-4
	hal-01485508v1 Book sections Sylvain Arlot. Validation croisée Myriam Maumy-Bertrand; Gilbert Saporta; Christine Thomas-Agnan. Apprentissage statistique et donn\'ees massives, Editions Technip, 2018, 9782710811824
	inria-00000854v1 Book sections Chantal Reynaud-Delaître, Brigitte Safar, Hélène Gagliardi. Une expérience de représentation d'une ontologie dans le médiateur PICSEL R. Teulier, J. Charler, P. Tchounikine. Ingénierie des connaissances, L'Harmattan, pp.117-138, 2005, 2-7475-8240-X
	inria-00120733v1 Book sections Rodolphe Le Riche, Marc Schoenauer, Michèle Sebag. Un état des lieux de l'optimisation évolutionnaire et de ses implications en sciences pour l'ingénieur P. Breitkopf and C. Knopf-Lenoir. Modélisation numérique. 2, Défis et perspectives.Traité MIM, série Méthodes numériques et éléments finis, Hermès, pp.187-259, 2007, 978-2-7462-1616-7
	hal-00997879v1 Book sections Michel Beaudouin-Lafon. Tables de travail informatiques : de l'écran graphique au papier interactif Lieux de savoir 2: Les mains de l'intellect, Albin Michel, pp.172-191, 2011
	inria-00128828v1 Book sections Pascale Minet. Support de qualité de service dans les réseaux mobiles ad hoc Houda Labiod. Réseaux mobiles ad hoc et réseaux de capteurs sans fil, Traité IC2, Hermès, 2006, Réseaux et Télécoms, 2-7462-1292-7
	lirmm-00203668v1 Book sections Philippe Fraisse, Arnaud Lelevé, Wilfrid Perruquetti. Robots en réseaux JP. Richard. Systèmes commandés en réseau, 1, HERMES, pp.125-179, 2007, T. Divoux, 978-2-7462-1513-9
	hal-00651607v1 Book sections Emmanuel Baccelli, Thomas Heide Clausen. Réseaux Introduction à la Science Informatique, CRDP, pp.237 - 280, 2011
	hal-01409743v3 Book sections François Fages, Guillaume Le Guludec. Programmes biochimiques et algorithmes mixtes analogiques-digitaux dans la cellule Thierry Gaudin; Dominique Lacroix; Marie-Christine Maurel; Jean-Charles Pomerol. Sciences de la vie, sciences de l’information, ISTE editions, 2017, Colloque de Cérisy, 978-1-78405-287-4
	hal-01588300v1 Patents Sami Yehia, Olivier Temam, Hugues Berry. Procédé pour la conception d'accélérateurs France, N° de brevet: FR2937762. 4833. 2010, pp.22
	hal-01429075v1 Book sections Philippe Pucheral, Alain Rallet, Célia Zolynski. Privacy by Design et Big Data Les big data à découvert, 2016
	inria-00180675v1 Book sections Alexandre Seuret, Fabien Michaut, Jean-Pierre Richard, Francis Lepage. Prise en compte des retards de réseau dans la conception de commande Jean-Pierre Richard and Thierry Divoux. Systèmes commandés en réseau, Hermès Science - Lavoisier, pp.54-81, 2007, IC2 Systèmes Automatisés, 978-2-7462-1513-9
	hal-03121243v1 Book sections Michel Beaudouin-Lafon. Pourquoi vouloir interagir avec des ordinateurs ? CNRS Editions. Vers le cyber-monde. Humain et numérique en interaction, pp.18-41, 2020, 978-2-271-13459-2
	hal-00751820v1 Book sections Henri Borsenberger, Philippe Dessante, Marc Petit, Guillaume Sandou. Optimisation technico économique des réseaux d'énergie électrique Xavier Roboam (Eds.). Conception systémique pour la conversion d'énergie électrique 1 : gestion, analyse et synthèse, Hermès Science Publications, pp.253-288, 2012
	halsde-00341034v1 Book sections Philippe de Reffye, Daniel Barthélémy, Paul-Henry Cournède, Marc Jaeger. Modélisation et simulation de l'architecture et de la production végétales Francis Hallé. Aux origines des plantes : des plantes anciennes à la botanique du XXIe siècle, Fayard, pp.184-227, 2008
	hal-02795954v1 Patents Thomas Bourquard, Astrid Musnier, Anne Poupon, Pascale Crépieux, Eric Reiter et al. Methode de prediction de la reconnaissance croisee de cibles par des anticorps differents France, N° de brevet: N° de publication 3058812. 2016
	hal-01089095v1 Book sections Sylvie Boldo. Même les ordinateurs font des erreurs ! Martin Andler; Liliane Bel; Sylvie Benzoni-Gavage; Thierry Goudon; Cyril Imbert; Antoine Rousseau. Brèves de maths, Nouveau Monde Editions, pp.136-137, 2014, 978-2-36583-896-2
	hal-02426663v1 Book sections Michel Beaudouin-Lafon. Le Web Sciences Numériques et Technologie, Manuel pour la classe de seconde, Editions Didier, pp.30-53, 2019, 978-2-278-09446-2
	hal-00877100v1 Book sections Jean-Daniel Fekete. Le Langage PostScript Jacques André. Techniques de l'ingénieur, Editions T.I., 2004, Techniques de l'ingénieur
	hal-00877101v1 Book sections Jean-Daniel Fekete. Le Format PDF Jacques André. Le format PDF, Editions T.I., 2004, Techniques de l'ingénieur
	inria-00131058v1 Book sections Benjamin Werner. La Vérité et la Machine cnrs. Images des Mathématiques 2006, cnrs, 2006, Images des Mathématiques
	hal-02518419v1 Book sections François Fages, Franck Molina. La cellule, un calculateur analogique chimique Approches symboliques de la modélisation et de l'analyse des systèmes biologiques., A paraître
	hal-01120259v1 Book sections Serge Abiteboul, Florence Hachez-Leroy. Humanités numériques Encyclopédie de l'humanisme méditerranéen, 2015
	medihal-01346163v1 Videos Gwezheneg Robert, Daniel Augot, Pierre Loidreau, Fanny Bastien. Gwezheneg Robert - Généralisation des codes de Gabidulin à la caractéristique nulle 2014
	hal-01485506v1 Book sections Sylvain Arlot. Fondamentaux de l'apprentissage statistique Myriam Maumy-Bertrand; Gilbert Saporta; Christine Thomas-Agnan. Apprentissage statistique et donn\'ees massives, Editions Technip, 2018, 9782710811824
	hal-01216207v1 Book sections Arnaud Banos, Philippe Caillou, Benoit Gaudou, Nicolas Marilleau. Exploration de modèles agent Simulation spatiale à base d’agents avec NetLogo 1, ISTE, pp.49, 2015
	hal-00429668v1 Book sections Nicolas Bredeche. Evolution de robots autonomes et autres créatures artificielles Thomas Heams, Philippe Huneman, Guillaume Lecointre and Marc Silberstein, eds. Les mondes darwiniens, L'évolution de l'évolution, Editions Syllepse, pp.747-768, 2009
	1 2 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize