Le moteur de recherche
des thèses françaises

Rechercher des thèses

Désactiver l'aide à la saisie

Recherche Avancée

Arnaud Da Costa Lopes

Mots clés

FR |

EN

Logique temporelle

Vérification formelle

Logiciels -- Vérification

Liste des thèses par rôle

theses.fr

Le moteur de recherche theses.fr recense l’ensemble des thèses de doctorat soutenues en France depuis 1985, les sujets de thèse préparés au sein des établissements de l’enseignement supérieur français, et les personnes impliquées dans la recherche doctorale française. La base de données est en constante évolution. En savoir plus

Ressources

> theses.fr en Open Data

> IdRef Identifiants et référentiels

> Documentation

> Catalogue Sudoc

> Format TEF (Thèses Electroniques Françaises)

> Guichet d'assistance ABESstp

2024 — theses.fr, le moteur de recherche des thèses françaises

Données personnelles

|Mentions légales

|Accessibilité