Problème Sat - Progrès Et Défis - Saïs Lakhdar
- Collection: Contra
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix neuf 93,00 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus6,07 €
Occasion · Comme Neuf
- Livraison GRATUITE
- Livré entre le 6 et le 10 juin
Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme. Expédition depuis la France.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
-
Indesign - De La Créa À L'exé
3 avis
Neuf dès 32,40 €
Occasion dès 3,74 €
-
La Réalité Virtuelle
Occasion dès 3,53 €
-
Ia - Grand Remplacement Ou Complémentarité ?
17 avis
Neuf dès 23,00 €
Occasion dès 2,93 €
-
Apprendre À Développer Avec Javascript
1 avis
Neuf dès 14,00 €
Occasion dès 3,00 €
-
Access (Versions 2019 Et Office 365) - Maîtrisez Les Fonctions Avancées
Occasion dès 3,47 €
-
Facebook Pour Les Nuls
2 avis
Occasion dès 1,34 €
-
Minecraft - Combat, Le Guide Officiel
15 avis
Occasion dès 1,53 €
-
L'intelligence Artificielle N'existe Pas
25 avis
Neuf dès 17,95 €
Occasion dès 3,42 €
-
Informatique : Programmation Et Calcul Scientifique En Python Et Scilab - Classes Préparatoires Scientifiques 1re Et 2e Années
6 avis
Occasion dès 3,05 €
-
Les Bases Du Hacking
5 avis
Neuf dès 23,00 €
Occasion dès 2,41 €
-
Excel 2019 Pas À Pas Pour Les Nuls
1 avis
Occasion dès 3,23 €
-
I.A. : Notre Ambition Pour La France
Neuf dès 19,90 €
Occasion dès 2,50 €
-
Vba Access 2016 - Apprenez À Créer Des Applications Professionnelles : Exercices Et Corrigés
2 avis
Neuf dès 18,10 €
Occasion dès 3,74 €
-
H.P. Lovecraft Et Le Jeu Vidéo
Occasion dès 1,90 €
-
La Petite Boîte À Outils De La Génération De Leads - 32 Outils Clés En Mains + 9 Plans D'action
1 avis
Neuf dès 16,90 €
Occasion dès 2,79 €
-
Programmer Avec Scratch En S'amusant Pour Les Nuls
4 avis
Occasion dès 2,91 €
-
Adobe Illustrator Cs5 - (1 Cd-Rom)
3 avis
Occasion dès 3,74 €
-
Excel Pour Les Nuls
1 avis
Occasion dès 3,25 €
-
Vivre Avec Chatgpt - L'intelligence Artificielle Aura-T-Elle Réponse À Tout ?
Neuf dès 18,00 €
Occasion dès 2,83 €
-
Word Et Excel 2010 Mégapoche Pour Les Nuls
3 avis
Occasion dès 1,60 €
Produits similaires
Présentation Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché
- Livre Informatique
Résumé :
Cet ouvrage analyse les techniques actuelles du problème de satisfiabilité propositionnelle (SAT) et étudie ses défis majeurs. Ce problème fondamental se trouve au coeur de la théorie de la complexité et intervient dans de nombreux domaines tels que la logique mathématique, la déduction automatique et la programmation par contraintes. Les avancées spectaculaires obtenues sur la résolution pratique de ce problème NP-Complet de référence font aujourd'hui de SAT un formalisme puissant de modélisation et de résolution de nombreux problèmes importants incluant la vérification de matériel et de logiciels. Ces résultats ont bénéficié d'une synergie forte entre la théorie, les développements algorithmiques et les applications industrielles. Problème SAT, progrès et défis couvre divers aspects qui v
Biographie:
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).
©
Détails de conformité du produit
Personne responsable dans l'UE
Avis sur Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché - Livre Informatique
0 avis sur Problème Sat - Progrès Et Défis de Saïs Lakhdar Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.