Livres en français

Etudes et recherches en informatique

21 résultats

Outils logiques pour le traitement du temps : de la linguistique à l'intell

Aspects mathématiques des réseaux de Pétri

Informatique et calcul. Computers and computing : actes

Les Séries rationnelles et leurs langages

Logique, réduction, résolution

Utilisation des langages objets pour le prototypage

La reconnaissance des formes par algorithmes

Prolog : l'implantation

Génération automatique de textes en langues naturelles

Algorithmes et architectures systoliques

Communications dans les réseaux de processeurs

Transductions rationnelles : application aux langages algébriques

Problèmes d'ordonnancement : modélisation, complexité, algorithmes

Codage symbolique

Algorithmique parallèle

Logique temporelle : sémantique et validation de programmes parallèles

Variétés de langages formels

Calcul formel : systèmes et algorithmes de manipulations algébriques