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 plus36,89 €
Occasion · Très Bon État
Ou 9,22 € /mois
Option Express : Chez vous le 08/04 (?)
- Livraison GRATUITE
- Livré entre le 7 et le 10 avril
Ancien livre de bibliothèque avec équipements. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
Prix neuf 93,00 €
-63%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 plus33,49 €
Occasion · Très Bon État
Ou 8,37 € /mois
1,67 € offerts- Livraison : 3,49 €
- Livré entre le 8 et le 11 avril
très bon état. Optez pour nos livres d'occasion en très bon état, et soutenez l'insertion sociale et l'écologie en leur offrant une seconde vie. 368578-2 - Problème SAT progrès et défis, SAÏS, Lakhdar, 2008
-
93,00 €
Produit Neuf
Ou 23,25 € /mois
- Livraison à 0,01 €
- Livré entre le 10 et le 15 avril
Libraire professionnel. Livre neuf. Expédition sous 3 à 6 jours. Suivi par mail.
-
93,00 €
Produit Neuf
Ou 23,25 € /mois
- Livraison à 0,01 €
- Livré entre le 9 et le 14 avril
Libraire professionnel. Livre neuf. Expedition sous 2 a 4 semaines. Suivi par mail.
-
93,00 €
Produit Neuf
Ou 23,25 € /mois
- Livraison : 3,49 €
- Livré entre le 14 et le 18 avril
Gallix a 20 ans - Plus de 400 000 clients satisfaits EXPEDITION SOUS 4 à 6 jours ouvres + acheminement
-
93,00 €
Produit Neuf
Ou 23,25 € /mois
- Livraison : 5,00 €
- Livré entre le 9 et le 13 avril
Exp¿di¿ en 6 jours ouvr¿s
- 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
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
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
World Of Warcraft - Chroniques - Tome 4
1 avis
Neuf dès 35,00 €
Occasion dès 79,89 €
-
Principes D'électrotechnique - Cours Et Exercices Corrigés
1 avis
Occasion dès 27,00 €
-
Une Histoire Du Jeu Vidéo En France - 1960-1991 : Des Labos Aux Chambres D'ados
Neuf dès 30,00 €
Occasion dès 24,89 €
-
L'intelligence Artificielle Pour Les Nuls
Neuf dès 25,95 €
Occasion dès 24,65 €
-
Le Renseignement Offensif
1 avis
Occasion dès 47,33 €
-
Tout L'art De Batman Par Rocksteady - Arkham Asylum / Arkham City / Arkham Knight
2 avis
Occasion dès 42,50 €
-
La Bible Game Boy
2 avis
Occasion dès 24,80 €
-
Économie Du Geste - Fascias Et Mouvement
3 avis
Occasion dès 50,00 €
-
Le Monde De Cyberpunk 2077
9 avis
Neuf dès 35,00 €
Occasion dès 19,00 €
-
Final Fantasy Vii : Crisis Core - Le Guide Officiel
12 avis
Occasion dès 43,55 €
-
Ia Et Santé - L'âge Des Possibles
Neuf dès 21,00 €
Occasion dès 17,07 €
-
L?Intelligence Artificielle Expliquée - Des Concepts De Base Aux Applications Avancées De L?Ia
1 avis
Neuf dès 32,00 €
Occasion dès 19,80 €
-
La Saga Final Fantasy Vii Rebirth
Neuf dès 29,90 €
Occasion dès 36,18 €
-
Apprenez À Programmer En Python
4 avis
Occasion dès 24,00 €
-
Métavers - Et S'il Avait Toujours Existé ?
3 avis
Neuf dès 22,90 €
Occasion dès 18,02 €
-
L'oeuvre De Fumito Ueda - Une Autre Idée Du Jeu Vidéo
1 avis
Occasion dès 50,00 €
-
Pki Sous Windows Server 2016 - Sécurité, Cryptographie Et Certificats
1 avis
Occasion dès 36,90 €
-
L'électronique Par Le Schéma Tome 1 - L' Électronique Par Le Schéma
Occasion dès 21,73 €
-
Pix'n Love - Tome 28 : Pokémon
1 avis
Occasion dès 19,90 €
-
Final Fantasy Xv - The Dawn Of The Future
Neuf dès 31,46 €
Occasion dès 18,22 €
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