533 documents avec fichiers associés – 1 références bibliographique  [english version]
.:. Listes > Par discipline > Base de données .:.
2 documents classés par :

fulltext access l'évaluation de requêtes avec un délai constant
Kazana W.
École normale supérieure de Cachan - ENS Cachan (2013-09-16), Luc Segoufin (Dir.) [tel-00908434 - version 1]
fulltext access Modèles d'automates d'arbres étendus pour la vérification de systèmes infinis
Jacquemard F.
École normale supérieure de Cachan - ENS Cachan (10/11/2011), Denis Lugiez (Pr.) [tel-00643595 - version 1]