Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
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 : Lakhdar Saïs

Éditeur : Hermès - Lavoisier

Date de parution : 16/05/2008

Expédié sous 9 jours

Papier

93,00 €

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

Informatique Développement d'applications Algorithmique et informatique appliquée Graphes
Informatique Développement d'applications Algorithmique et informatique appliquée Recherche opérationnelle
Sciences Mathématiques Mathématiques par matières Algèbre Algèbre linéaire
Sciences Mathématiques Mathématiques par matières Recherche opérationnelle
Sciences Mathématiques Mathématiques par matières Systèmes dynamiques
Sciences Mathématiques Mathématiques appliquées Mathématiques pour l'ingénieur
Sciences Mathématiques Mathématiques appliquées Statistiques
Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
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 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription