• Filtres
• Structure : Identifiant HAL de la structure  ×
• Mots-clés  ×
• Tous  ×

46 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 46 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00337558v2  Thèse Oana Andrei. A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems Software Engineering [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. English
	tel-00724233v2  HDR Frédéric Blanqui. Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012
	tel-00672699v1  Thèse Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
	tel-01081055v1  Thèse Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables Langage de programmation [cs.PL]. Université de Lorraine, 2014. Français
	tel-00606360v1  Thèse Cody Roux. Size-based termination: Semantics and generalizations Other [cs.OH]. Université Henri Poincaré - Nancy I, 2011. English
	tel-00259803v2  Thèse Fabrice Nahon. Preuve par induction dans le calcul des séquents modulo Autre [cs.OH]. Université Henri Poincaré - Nancy I, 2007. Français
	tel-00695402v1  Thèse Spyros Zoupanos. Gestion des données efficace en pair-à-pair Databases [cs.DB]. Université Paris Sud - Paris XI, 2009. English
	tel-00745581v1  Thèse Benoit Groz. Vues de sécurité XML: requêtes, mises à jour et schémas. Base de données [cs.DB]. Université des Sciences et Technologie de Lille - Lille I, 2012. Français
	tel-01415910v1  Thèse Cyrille Chenavier. Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique Mathématiques [math]. Université paris Diderot, 2016. Français
	tel-01415945v1  Thèse Raphaël Cauderlier. Object-Oriented Mechanisms for Interoperability between Proof Systems Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
	tel-00553219v1  Thèse Clément Houtmann. Représentation et interaction des preuves en superdéduction modulo Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. <NNT : 2010NAN10026>
	tel-01089510v1  Thèse Mélanie König. Interrogation de grandes bases de connaissances Intelligence artificielle [cs.AI]. Université Montpellier 2, 2014. Français
	tel-01534703v1  HDR Russ Harmer. Rule-based meta-modelling for bio-curation Bioinformatics [q-bio.QM]. Ecole Normale Supérieure de Lyon, 2017
	tel-01058041v1  Thèse Van Chan Ngo. Formal Verification of a Synchronous Data- flow Compiler : from Signal to C Software Engineering [cs.SE]. Université Rennes 1, 2014. English
	tel-00702301v1  Thèse Cláudia Tavares. A type system for embedded rewriting programming Software Engineering [cs.SE]. Université Henri Poincaré - Nancy I, 2012. English
	tel-01093661v1  Thèse Houari Mahfoud. Efficient Access Control to XML Data: Querying and Updating Problems Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lorraine, 2014. English
	tel-00640561v1  Thèse Mathieu Morey. Étiquetage grammatical symbolique et interface syntaxe-sémantique des formalismes grammaticaux lexicalisés polarisés Informatique et langage [cs.CL]. Université de Lorraine, 2011. Français
	tel-00656766v1  HDR Guillaume Bonfante. Complexité implicite des calculs : interprétation de programmes Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
	tel-00646395v1  Thèse Philippe Beaucamps. Analyse de Programmes Malveillants par Abstraction de Comportements Logique en informatique [cs.LO]. Institut National Polytechnique de Lorraine - INPL, 2011. Français
	tel-00785771v1  Thèse Karim Dahman. Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèles Architectures Matérielles [cs.AR]. Université de Lorraine, 2012. Français
	tel-00164576v1  Thèse Germain Faure. Structures et modèles de calculs de réécriture Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
	tel-00435881v1  Thèse Emilie Balland. Conception d'un langage dédié à l'analyse et la transformation de programmes Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2009. Français
	tel-00186774v1  Thèse Florent Garnier. Terminaison en temps moyen fini de systèmes de règles probabilistes Modélisation et simulation. Institut National Polytechnique de Lorraine - INPL, 2007. Français
	tel-00535886v1  Thèse Mark Hills. A MODULAR REWRITING APPROACH TO LANGUAGE DESIGN, EVOLUTION AND ANALYSIS Software Engineering [cs.SE]. University of Illinois at Urbana Champaign, 2009. English
	tel-00325707v1  Thèse Antoine Meyer. Graphes infinis de présentation finie Informatique [cs]. Université Rennes 1, 2005. Français
	tel-00643595v1  HDR Florent Jacquemard. Extended Tree Automata Models for the Verification of Infinite State Systems Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011
	tel-01235303v4  Thèse Ali Assaf. A framework for defining computational higher-order logics Computer Science [cs]. École polytechnique, 2015. English
	tel-00337408v1  HDR Pierre-Etienne Moreau. Programmation et confiance Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008
	tel-00105522v1  Thèse Frédéric Blanqui. Théorie des types et réécriture Autre [cs.OH]. Université Paris Sud - Paris XI, 2001. Français
	tel-00118806v1  Thèse Julien Narboux. Formalisation et automatisation du raisonnement géométrique en Coq. Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français
	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 46 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM