• Filtres
• Sous-domaine niveau 1  ×
• collCode_s  ×
• Tous  ×

90 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

 

	1 2 3	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 90 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00327441v1  Thèse Christian Brunette. Construction et simulation graphiques de comportements : le modèle des Icobjs Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2004. Français
	inria-00075075v1  Rapport Frédéric Boussinot, Robert De Simone. The ESTEREL language [Research Report] RR-1487, INRIA. 1991
	inria-00074985v1  Rapport Amar Bouali. Weak and branching bisimulation in Fctool [Research Report] RR-1575, INRIA. 1992
	inria-00074983v1  Rapport Roger Pissard-Gibollet, Patrick Rives. Asservissement visuel applique a un robot mobile : etat de l'art et modelisation cinematique [Rapport de recherche] RR-1577, INRIA. 1991
	inria-00074823v1  Rapport Frédéric Boussinot. Reactive shared variables bases systems [Research Report] RR-1849, INRIA. 1993
	inria-00075115v1  Rapport Albert Benveniste, Gérard Berry. The Synchronous approach to reactive and real-time systems [Research Report] RR-1445, INRIA. 1991
	inria-00075119v1  Rapport Eve Coste-Maniere, Bernard Espiau, Eric Rutten. Task-level robot programming combining object-oriented design and synchronous approach : a tentative study [Research Report] RR-1441, INRIA. 1991
	inria-00076371v1  Rapport Didier Austry, Gérard Boudol. Algebre de processus et synchronisation [Rapport de recherche] RR-0187, INRIA. 1983
	tel-00122789v1  Thèse Damien Ciabrini. Débogage symbolique multi-langages pour les plates-formes d'exécution généralistes Autre [cs.OH]. Université Nice Sophia Antipolis, 2006. Français
	inria-00075128v1  Rapport François Baccelli, Guy Cohen, Bruno Gaujal. Recursive equations and basic properties of timed Petri nets [Research Report] RR-1432, INRIA. 1991
	inria-00075164v1  Rapport Antoine Joubert, Daniel Simon. ORCCAD : towards an open robot controller computer aided design system [Research Report] RR-1396, INRIA. 1991
	inria-00075179v1  Rapport Juliette Leblond, Jean-Paul Marmorat. Boundary control and observation of some one-dimensional vibrating structures : regularity and stabilization [Research Report] RR-1382, INRIA. 1991
	inria-00075367v1  Rapport Guillaume Doumenc, Eric Madelaine, Robert De Simone. Proving process calculi translations in ecrins :The pureLOTOS -> MEIJE example [Research Report] RR-1192, INRIA. 1990
	inria-00075531v1  Rapport Frédéric Boussinot. A reactive extension of C [Research Report] RR-1027, INRIA. 1989
	inria-00075420v1  Rapport Eve Coste-Maniere. Utilisation d'Esterel dans un contexte asynchrone : une application robotique [Rapport de recherche] RR-1139, INRIA. 1989
	pastel-00644122v1  Thèse Christian Fischer. Contrôle multi-objectifs d'ordre réduit Autre [cs.OH]. École Nationale Supérieure des Mines de Paris, 2011. Français. <NNT : 2011ENMP0033>
	pastel-00935483v1  Thèse Dounia Khaldi. Automatic Resource-Constrained Static Task Parallelization : A Generic Approach Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2013. English. <NNT : 2013ENMP0031>
	pastel-00935600v1  Thèse Oussama El Hamzaoui. Localisation et cartographie simultanées pour un robot mobile équipé d'un laser à balayage : CoreSLAM Autre [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2012. Français. <NNT : 2012ENMP0103>
	pastel-00944726v1  Thèse Jean-François Jego. Interaction basée sur des gestes définis par l’utilisateur : Application à la réalité virtuelle Autre [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2013. Français. <NNT : 2013ENMP0033>
	pastel-00958135v1  Thèse Nicolas Ballas. Modélisation de contextes pour l'annotation sémantique de vidéos Autre [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2013. Français. <NNT : 2013ENMP0051>
	pastel-00958033v1  Thèse Mehdi Amini. Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators Other [cs.OH]. Ecole Nationale Supérieure des Mines de Paris, 2012. English. <NNT : 2012ENMP0105>
	hal-00308244v1  Ouvrage (y compris édition critique et traduction) Sabine Coquillart, Philippe Fuchs, Jerome Grosjean, Martin Hachet. Le traité de la réalité virtuelle, Vol. Interfaçage, immersion et interaction en environnement virtuel - Les techniques d'interaction. Presses des Mines, pp.329-380, 2005
	inria-00072613v1  Rapport Frédéric Boussinot, Laurent Hazard, Jean-Ferdy Susini. La programmation en Junior [Rapport de recherche] RR-4027, INRIA. 2000, pp.31
	inria-00072607v1  Rapport Frédéric Boussinot. Junior Automata [Research Report] RR-4031, INRIA. 2000, pp.23
	inria-00072346v1  Rapport Roberto M. Amadio, Charles Meyssonnier. On the Decidability of Fragments of the Asynchronous Pi-Calculus RR-4241, INRIA. 2001
	inria-00072209v1  Rapport Roberto M. Amadio, Witold Charatonik. On name generation and set-based analysis in Dolev-Yao model RR-4379, INRIA. 2002
	inria-00072423v1  Rapport Gérard Boudol. The Recursive Record Semantics of Objects Revisited RR-4199, INRIA. 2001
	inria-00072540v1  Rapport Delphine Kaplan-Terrasse. Vers la certification du compilateur v5 d'Esterel dans Coq RR-4092, INRIA. 2000
	inria-00072553v1  Rapport Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine. The Receptive Distributed $\pi$-Calculus [Research Report] RR-4080, INRIA. 2000
	inria-00072478v1  Rapport Roberto M. Amadio, Denis Lugiez, Vincent Vanackère. On the Symbolic Reduction of Processes with Cryptographic Functions RR-4147, INRIA. 2001
	1 2 3	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 90 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM