Institut de recherche d'informatique et d'automatique (France)
Œuvres (4)
Construction, amélioration et vérification de programmes =
Construction, amélioration et vérification de programmes =
1975
Méthodes mathématiques de la modélisation macroéconomique
Méthodes mathématiques de la modélisation macroéconomique
1979
Reconnaissance et synthèse de la parole
Reconnaissance et synthèse de la parole
1979
Modelling in data base management systems
Modelling in data base management systems
1977