pen icon Colloque
quote

Les descriptions formelles: un procédé pour définir des automates linéairement bornés complexes

C. Boucher
CB

Membre a labase

C. Boucher

Contexte

Section :
Informatique et recherche opérationnelle
news icon Thème du colloque :
Informatique et recherche opérationnelle
manager icon Responsables :
Claude Boucher
host icon Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Informatique et recherche opérationnelle
Géométrie discrète et calculable
J.-M. Miermont
Politiques optimales d'écoulement d'un stock
R. Cléroux
Programmation quasi-parallèle avec SIMULA 67
J. Vaucher
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Informatique et recherche opérationnelle
Comment analyser l'hydrogène et connaître son profil de profondeur en surface et sous la surface de…
G.G. Ross
Simulation d'un modèle urbain à l'aide d'un ensemble de programmes conversationnels
C. Boucher
Le charme discret de l'hexagone
C. Boucher