• Filtres
• Sous-domaine niveau 1  ×
• Structure/laboratoire : Nom  ×
• Tous  ×

28 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 28 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00010507v1  Thèse Jean Mermet. Etude méthodologique de la conception assistée par ordinateur des systèmes logiques : CASSANDRE Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1973. Français
	tel-00008418v1  Thèse Gabrièle Saucier Schnebelen. Codage des automates asynchrones Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1970. Français
	tel-00008419v1  Thèse Michael Griffiths. Analyse déterministe et compilateurs Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1969. Français
	tel-00008436v1  Thèse Alain Colmerauer. Précédence, analyse syntaxique et langages de programmation Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1967. Français
	tel-00010514v1  Thèse François Anceau. Contribution à l'étude de systèmes hiérarchisés de ressources dans l'architecture des machines informatiques Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1974. Français
	tel-00010612v1  Thèse Vincent Quint. Une approche de l'édition structurée des documents Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1987. Français
	tel-00010598v1  Thèse Joseph Sifakis. Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. Français
	hal-00201634v1  Article dans une revue Bruno Orsier, Irena Iordanova, Vincent Rialle, A. Giacometti, Annick Vila. Hybrid systems for expertise modeling: from concepts to a medical application in electromyography Computers and artificial intelligence, 1994, 13 (5), pp.423-440
	tel-00165224v1  HDR André Saint-Joanis. Les machines à calculer arithmétiques Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1951
	tel-00004714v2  Thèse Jérôme Euzenat. Un système de maintenance de la vérité à propagation de contextes Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1990. Français
	inria-00099423v1  Rapport Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot. A symbolic cost model for asynchronous parallel programs with structured dependences [Intern report] A02-R-031 || melin02a, 2002, 21 p
	tel-00165366v2  Thèse Roland Rouxel. Les opérations logiques dans les calculatrices digitales Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1956. Français
	irsn-00311696v1  Article dans une revue Sebastien Destercke, Didier Dubois, Eric Chojnacki. UNIFYING PRACTICAL UNCERTAINTY REPRESENTATIONS: I. GENERALIZED P-BOXES International Journal of Approximate Reasoning, Elsevier, 2008, pp.29. <10.1016/j.ijar.2008.07.003>
	inria-00071316v1  Rapport Jean-Pierre Paris, Gérard Berry, Frédéric Mignard, Philippe Couronné, Paul Caspi et al.  Projet SYNCHRONE : les formats communs des langages synchrones [Rapport de recherche] RT-0157, INRIA. 1993
	tel-00004726v1  Thèse Bernard Martinet. Contribution a l'évaluation de l'efficacité du test fonctionnel de microprocesseurs Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1992. Français
	tel-00004339v1  Thèse Hubert Garavel. Compilation et vérification de programmes LOTOS Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français
	tel-00004731v1  Thèse Lan Nguyen Phuong. Un système déclaratif de types pour PROLOG Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1992. Français
	tel-00004732v1  Thèse Xavier Nicollin. ATP : une algebre pour la specification et l'analyse des systemes temps reel Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1992. Français
	tel-00004286v1  Thèse Juan Manuel Ahuactzin-Larios. Le fil d'ariane : une méthode de planification générale. Application à la planification automatique de trajectoires Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1994. Français
	tel-00004315v1  Thèse Extase Akpotsui. Transformation de types dans les systèmes d'édition de documents structurés Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1993. Français
	tel-00008414v1  Thèse Gabrièle Saucier. Codage des tableaux d'états des systèmes séquentiels asynchrones Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1964. Français
	tel-00008411v1  Thèse Louis Bolliet. Notation et processus de traduction des langages symboliques Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1967. Français
	tel-00010517v1  Thèse Joseph Sifakis. Modèles temporels des systèmes logiques Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1974. Français
	tel-00010677v1  Thèse Bernard Courtois. Etude d'un calculateur tolérant des pannes, ses fiabilité, sécurité, performance et coût Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1976. Français
	tel-00009468v1  Thèse Camille Bellissant. Conception et compilation d'un langage pour l'écriture de cours Autre [cs.OH]. Université Joseph-Fourier - Grenoble I; Institut National Polytechnique de Grenoble - INPG, 1970. Français
	tel-00009472v1  Thèse Philippe Gabrini. Etude et réalisation d'un système de programmation pour la commande numérique des machines-outils Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1970. Français
	tel-00010410v1  Thèse Karen De Polignac. Utilisation du langage CASSANDRE pour la conception des machines microprogrammées Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1973. Français
	tel-00010622v1  Thèse Gilles Kuntz. Vers une intégration des systèmes graphiques et audiovisuels Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1989. Français
		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 28 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM