21 résultats
Outils logiques pour le traitement du temps : de la linguistique à l'intell
Hélène Bestougeff, Gérard Ligozat
Indisponible
42.50
€
Arithmétique des ordinateurs : opérateurs et fonctions élémentaires
Jean-Michel Muller
Indisponible
45.60
€
Informatique et calcul. Computers and computing : actes
Patrick Chenin, Claire Di Crescenzo, François Robert
Indisponible
28.97
€
Systèmes de transitions finis et sémantique des processus communicants
André Arnold
Indisponible
30.45
€
Transductions rationnelles : application aux langages algébriques
Jean-Michel Autebert, Luc Boasson
Indisponible
42.50
€
Problèmes d'ordonnancement : modélisation, complexité, algorithmes
Jacques Carlier, Philippe Chrétienne
Indisponible
63.00
€
Logique temporelle : sémantique et validation de programmes parallèles
Eric Audureau, Patrice Enjalbert, Luis Farinas Del Cerro
Indisponible
22.50
€
Calcul formel : systèmes et algorithmes de manipulations algébriques
JamesH. Davenport, Yvon Siret, Evelyne Tournier
Indisponible
48.70
€