• Filtres
• Identifiant interne du contributeur/déposant  ×
• collCode_s  ×
• Tous  ×

26 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

		Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 26 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	inria-00074892v1  Rapport Jean-Claude Raoult, Frédéric Voisin. Set-theoretic graph rewriting [Research Report] RR-1665, INRIA. 1992
	inria-00258845v2  Rapport Frédéric Gruau, Christine Eisenbeis, Luidnel Maignan. Self-developing blob machines for spatial computing: the foundations [Research Report] RR-6457, INRIA. 2008
	inria-00072640v1  Rapport Gilles Dowek. About Folding-Unfolding Cuts and Cuts Modulo RR-4004, INRIA. 2000
	inria-00070404v1  Rapport Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau et al.  Synchronizing Periodic Clocks in Kahn Networks [Research Report] RR-5603, INRIA. 2005, pp.38
	inria-00069919v1  Rapport The Coq. The Coq Proof Assistant : Reference Manual : Version 7.2 RT-0255, INRIA. 2002, pp.290
	inria-00069996v1  Rapport Farid Ajili, Évelyne Contejean. Complete Solving of Linear Diophantine Equational and Inequational Systems without Adding Variables [Technical Report] RT-0175, INRIA. 1995, pp.23
	inria-00071722v1  Rapport Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo Revised Version [Research Report] RR-4861, INRIA. 2003, pp.54
	inria-00071468v1  Rapport Albert Cohen, Sylvain Girbal, Olivier Temam. Facilitating the Exploration of Compositions of Program Transformations [Research Report] RR-5114, INRIA. 2004
	inria-00071493v1  Rapport Renaud Blanch, Eric Ferley, Marie-Paule Cani, Jean-Dominique Gascuel. Non-Realistic Haptic Feedback for Virtual Sculpture [Research Report] RR-5090, INRIA. 2004, pp.15
	inria-00070772v1  Rapport Nicolaas Ruberg, Gabriela Ruberg, Ioana Manolescu. Towards Cost-based Optimization for Data-intensive Web Service Computations [Research Report] RR-5222, INRIA. 2004, pp.33
	inria-00071768v1  Rapport Jean-Daniel Fekete. The InfoVis Toolkit RR-4818, INRIA. 2003
	inria-00072244v1  Rapport Stéphane Vaillant. A Finite First-Order Presentation of Set Theory RR-4344, INRIA. 2001
	inria-00181950v2  Rapport Yannick Moy. Checking C Pointer Programs for Memory Safety [Research Report] RR-6334, INRIA. 2007, pp.54
	inria-00075503v1  Rapport Loïc Pottier. Generalisation de termes en theorie equationnelle. Cas associatif-commutatif [Rapport de recherche] RR-1056, INRIA. 1989, pp.47
	inria-00193731v2  Rapport Gwenaël Delaval, Alain Girault, Marc Pouzet. A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs [Research Report] RR-6378, INRIA. 2007
	inria-00248465v2  Rapport Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems [Research Report] RR-6446, INRIA. 2008, pp.29
	inria-00286417v2  Rapport Laura Grigori, Desire W. Nuentsa, Hua Xiang. Saving Flops in LU Based Shift-and-Invert Strategy [Research Report] RR-6553, INRIA. 2008, pp.15
	inria-00127899v2  Rapport Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil. A New Self-Stabilizing Maximal Matching Algorithm [Research Report] RR-6111, INRIA. 2007, pp.17
	inria-00166547v2  Rapport Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. On the Self-stabilization of Mobile Robots in Graphs [Research Report] RR-6266, INRIA. 2007, pp.23
	inria-00179056v2  Rapport Sylvie Delaët, Partha Sarathi Mandal, Mariusz Rokicki, Sébastien Tixeuil. Deterministic Secure Positioning in Wireless Sensor Networks [Research Report] RR-6326, INRIA. 2007, pp.31
	inria-00189952v2  Rapport Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita. Weak vs. Self vs. Probabilistic Stabilization [Research Report] RR-6366, INRIA. 2007
	inria-00071246v1  Rapport N. Mitton, Emmanuel Fleury, I. Guérin Lassous, S. Tixeuil. Self-stabilization in self-organized Multihop Wireless Networks [Research Report] RR-5426, INRIA. 2004
	inria-00143265v2  Rapport Alexandru Iosup, Mathieu Jan, Ozan Sonmez, Dick Epema. On the Dynamic Resources Availability in Grids [Research Report] INRIA. 2007
	inria-00277661v2  Rapport Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Bounds for self-stabilization in unidirectional networks [Research Report] RR-6524, INRIA. 2008, pp.24
	inria-00276732v2  Rapport Adnan Vora, Mikhail Nesterenko, Sébastien Tixeuil, Sylvie Delaët. Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks [Research Report] RR-6529, INRIA. 2008, pp.31
	inria-00268301v5  Rapport Laura Grigori, Hua Xiang. Kronecker Product Approximation Preconditioners for Convection-diffusion Model Problems [Technical Report] RR-6536, INRIA. 2008
		Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 26 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM