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

39 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 39 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00654268v1  Thèse Julien Mercadal. Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
	tel-00328034v1  Thèse Céline Hudelot. Towards a Cognitive Vision Platform for Semantic Image Interpretation; Application to the Recognition of Biological Organisms Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English
	tel-00926141v1  Thèse Paul Istoan. Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français
	tel-00459025v1  Thèse Alexis Muller. Construction de systèmes par application de modèles paramétrés Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français
	tel-00646893v1  Thèse Mickaël Clavreul. Model and Metamodel Composition: Separation of Mapping and Interpretation for Unifying Existing Model Composition Techniques Software Engineering [cs.SE]. Université Rennes 1, 2011. English
	tel-00646664v2  Thèse Grégory Nain. EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services Génie logiciel [cs.SE]. Université Rennes 1, 2011. Français
	tel-00340864v1  Thèse Nicolas Palix. Langages dédiés au développement de services de communications Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français
	tel-00402605v1  Thèse Wilfried Jouve. Approche déclarative pour la génération de canevas logiciels dédiés à l'informatique ubiquitaire Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2009. Français
	tel-00497563v1  Thèse Frédéric Guidec. Un cadre conceptuel pour la programmation par objets des architectures parallèles distribuées : application à l'algèbre linéaire Modélisation et simulation. Université Rennes 1, 1995. Français
	tel-00156874v1  Thèse César Moura. Conceiving and Implementing a language-oriented approach for the design of automated learning scenarios Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2007. Français
	tel-00359948v1  Thèse Laurent Burgy. Approche langage au développement du support protocolaire d'applications réseaux Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français
	tel-00498436v1  Thèse Muhammad Usman Bhatti. Object Identification and Aspect Mining in Procedural Object-Oriented Code Computer Science [cs]. Université Panthéon-Sorbonne - Paris I, 2009. English
	tel-00498389v1  Thèse Hani Abdeen. Visualizing, Assessing and Re-Modularizing Object-Oriented Architectural Elements Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2009. English
	tel-01087860v1  Thèse André Cavalcante Hora. Assessing and Improving Rules to Support Software Evolution Software Engineering [cs.SE]. Université Lille 1 - Sciences et Technologies, 2014. English
	tel-01086785v1  HDR Nicolas Anquetil. Supporting Software Evolution in the Organizations Programming Languages [cs.PL]. universite de Liile-1, 2014
	tel-00114928v1  Thèse Ricardo Santos Marques. Méthodologie de développement des services de communication temps-réel d'un intergiciel embarqué dans l'automobile Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2006. Français
	tel-01255818v1  HDR Gerson Sunyé. A Model-Based Approach for Testing Large Scale Systems Software Engineering [cs.SE]. Université de Nantes, 2015
	tel-00607401v1  Thèse Valérie-Anne Nicolas. Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de Test Génie logiciel [cs.SE]. Université Rennes 1, 1998. Français
	tel-00520756v1  Thèse Mouhssine Bouzoubaa. Hiérarchie de contraintes : quelques approches de résolution Génie logiciel [cs.SE]. Ecole Nationale des Ponts et Chaussées, 1996. Français. <NNT : 1996ENPC9624>
	tel-00362486v1  Thèse Pierre Parrend. Modèles de Sécurité logicielle pour les plates-formes à composants de service (SOP) Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2008. Français
	tel-01096662v1  Thèse Lisong Guo. Boost the Reliability of the Linux Kernel: Debugging Kernel Oopses Computer Science [cs]. UPMC, Paris Sorbonne, 2014. English
	tel-01297400v1  Thèse Boris Baldassari. Mining Software Engineering Data for Useful Knowledge Machine Learning [stat.ML]. Université de Lille, 2014. English
	tel-00008026v1  Thèse Marie-Hélène Verrons. GeNCA : un modèle général de négociation de contrats entre agents Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2004. Français
	tel-00643729v2  HDR François Taïani. Some Contributions to The Programming of Large-Scale Distributed Systems: Mechanisms, Abstractions, and Tools Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2011
	tel-01087372v1  Thèse Julien Richard-Foy. Ingénierie des applications Web : réduire la complexité sans diminuer le contrôle Génie logiciel [cs.SE]. Université de Rennes 1, France, 2014. Français
	tel-01096952v1  HDR Olivier Barais. Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices Informatique et langage [cs.CL]. Université de Rennes 1, 2014
	tel-01246035v1  Thèse Inti Gonzalez-Herrera. Supporting resource-awareness in managed runtime environments Software Engineering [cs.SE]. Universite Rennes 1, 2015. English
	tel-01238817v1  HDR Benoit Combemale. Towards Language-Oriented Modeling Software Engineering [cs.SE]. Université de Rennes 1, 2015
	tel-01416129v1  Thèse Guillaume Bécan. Metamodels and Feature Models: Complementary Approaches to Formalize Product Comparison Matrices Software Engineering [cs.SE]. Université Rennes 1, 2016. English
	tel-01356296v1  Thèse Sébastien Martinez. Plates-formes et mises à jour dynamiques configurables Génie logiciel [cs.SE]. Télécom Bretagne; Université Bretagne Loire, 2016. 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 39 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM