Le moteur de recherche
des thèses françaises
Albert Benveniste
IdRefMots clés
FR |
EN
Sciences appliquees
Services Web
Xml
Documents actifs
Satisfiabilité
Pertinence
Workflow
XML (langage de balisage)
Flux de travail
Théorie de la pertinence (linguistique)
Informatique, automatique theorique, systemes
Petri, Réseaux de
Qualité de Service (télécommunications)
Web sémantique
Systèmes embarqués
Langages synchrones
Systèmes embarqués (informatique)
Systèmes à composants
Contrats
Vérification incrémentale