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

22 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 22 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	hal-01100023v1  Rapport Jakub Zwolakowski. Distributed System Administration Technologies a State of the Art [Technical Report] Paris 7; Inria. 2012
	tel-00011489v1  Thèse Anne-Gwenn Bosser. Réplications distribuées pour la définition des interactions de jeux massivement multi-joueurs Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français
	tel-00459307v1  Thèse Pierre Clairambault. Logique et Interaction : une Étude Sémantique de la Totalité Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2010. Français
	tel-00624156v1  Thèse Grégoire Henry. Typer la désérialisation sans sérialiser les types Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2011. Français
	hal-00696384v1  Rapport Juliusz Chroboczek, Sylvain Lebresne. Juppix: a Linux Live-CD for Undergraduate Students [Technical Report] 2008, pp.8
	tel-00151001v1  Thèse Fabien Tarissan. Étude d'un formalisme concurrent pour les phénomènes d'auto-organisation et la biologie moléculaire Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français
	tel-00102637v1  Thèse Benjamin Leperchey. Sur la notion d'observation en sémantique Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français
	tel-00011205v1  Thèse Emmanuel Beffara. Logique, Réalisabilité et Concurrence Mathématiques [math]. Université Paris-Diderot - Paris VII, 2005. Français
	tel-00152476v1  Thèse François Maurel. Un cadre quantitatif pour la Ludique Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2004. Français
	hal-00641005v1  Communication dans un congrès Pascal Manoury. Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework International conference on functional programming, Aug 2009, Edinburgh, United Kingdom. p 42, 2009
	tel-00293688v1  Thèse Philippe Hesse. Réalisabilité Classique et protocoles réseaux Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français
	hal-00699644v1  Communication dans un congrès Serge Abiteboul, Xavier Leroy, Boris Vrdoljak, Ciaran Bryce, Roberto Di Cosmo et al.  EDOS: Environment for the Development and Distribution of Open Source Software OSS 2005 - The First International Conference on Open Source Systems, Jul 2005, Genova, Italy. 2005
	tel-00594974v1  Thèse Mauricio Guillermo,. Realizability Games in Arithmetical Formulae. Mathematics [math]. Université Paris-Diderot - Paris VII, 2008. English
	tel-00629013v1  Thèse Stéphane Gimenez. Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2009. Français
	tel-00339149v3  Thèse Nicolas Tabareau. Modalités de ressource et contrôle en logique tensorielle Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français
	tel-00172472v1  Thèse Emmanuel Haucourt. Topologie Algébrique Dirigée et Concurrence Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2005. Français
	tel-00140652v1  Thèse Samuel Hym. Typage et contrôle de la mobilité Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2006. Français
	tel-00008272v1  Thèse Jean-Vincent Loddo. Généralisation des Jeux Combinatoires et Applications aux Langages Logiques Modélisation et simulation. Université Paris-Diderot - Paris VII, 2002. Français
	tel-00008275v1  Thèse Michel Hirschowitz. Jeux abstraits et composition catégorique Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2004. Français
	tel-00008416v1  Thèse Sylvain Baro. Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2003. Français
	tel-00009013v1  HDR Emmanuel Chailloux. PRATIQUE DES LANGAGES FONCTIONNELS TYPES Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2003
	hal-00349207v1  Article dans une revue Samy Abbes. On Countable Completions of Quotient Ordered Semigroups Semigroup Forum, Springer Verlag, 2008, 77 (3), pp.482-499. <10.1007/s00233-008-9111-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 22 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM