Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Lakhdar Saïs

Lakhdar Saïs

Biographie de Lakhdar Saïs

Lakhdar Saïs, professeur des universités est responsable du groupe "Algorithmes pour l'inférence et la prise de décision" au centre de recherche en informatique de Lens. Ses axes de recherche incluent le problème de la satisfiabilité (SAT), les formules booléennes quantifiées (QBF) et les problèmes de satisfaction de contraintes (CSP).

Livres de Lakhdar Saïs

Résultats : 1 à 1 sur 1 livre

Problème SAT

Progrès et défis

Auteur(s) : Lakhdar Saïs

Éditeur(s) : Hermès - Lavoisier

Date de parution : 16/05/2008

Expédié sous 24h

Papier


93,00 €

Les livres de Lakhdar Saïs sont disponibles dans les rayons suivants

satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925