Recherche

		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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-00839298v1 Thèse Quentin Enard. Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2013. Français. <NNT : 2013BOR14781>
	tel-01374080v1 Thèse Hadrien Glaude. Méthodes des moments pour l'inférence de systèmes séquentiels linéaires rationnels Apprentissage [cs.LG]. Université de Lille 1 - Sciences et Technologies, 2016. Français
		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 30 résultats par page 50 résultats par page 100 résultats par page Pour les 2 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM