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

55 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	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 55 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-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-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>
	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
	inria-00072487v1  Rapport Frédéric Boussinot. Java Fair Threads RR-4139, INRIA. 2001
	inria-00072334v1  Rapport Gérard Boudol, Ilaria Castellani. Noninterference for Concurrent Programs and Thread Systems RR-4254, INRIA. 2001
	inria-00072215v1  Rapport Cédric Lhoussaine. Type Inference for the receptive distributed Pi-calculus RR-4373, INRIA. 2002
	inria-00072238v1  Rapport Pascal Zimmer. On the Expressiveness of Pure Safe Ambients RR-4350, INRIA. 2002
	inria-00072722v1  Rapport Gérard Boudol, Florence Germain, Marc Lacoste. Analyse des langages et modèles de la mobilité [Rapport de recherche] RR-3930, INRIA. 2000, pp.73
	inria-00072738v1  Rapport Roberto M. Amadio, Denis Lugiez. On the Reachability Problem in Cryptographic Protocols [Research Report] RR-3915, INRIA. 2000, pp.33
	inria-00076136v1  Rapport Michel Delfour, G. Payre, J.P. Zolesio. An optimal triangulation for second order elliptic problems [Research Report] RR-0420, INRIA. 1985
	inria-00070333v1  Rapport Frédéric Boussinot. Loft+Cyclone [Research Report] RR-5680, INRIA. 2005, pp.16
	inria-00070413v1  Rapport Ana Almeida Matos, Gérard Boudol, Ilaria Castellani. Typing Noninterference for Reactive Programs [Research Report] RR-5594, INRIA. 2006, pp.38
	1 2	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 55 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM