91,17 €
Occasion · Comme Neuf
Ou 22,79 € /mois
LIVRAISON RAPIDE
Ce vendeur propose la livraison entre 2 et 5 jours
- Livraison GRATUITE
- Livré entre le 14 et le 17 septembre
Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme. Expédition depuis la France.
Nos autres offres
-
Prix neuf 93,00 €
-5%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 plus87,69 €
Occasion · Très Bon État
Ou 21,92 € /mois
- Livraison : 3,49 €
- Livré entre le 15 et le 18 septembre
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
Voir le détail de l'annonce -
Prix neuf 93,00 €
-5%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 plus88,35 €
Occasion · Comme Neuf
Ou 22,09 € /mois
- Livraison : 3,49 €
- Livré entre le 21 et le 26 septembre
envoi soign¿ entre 2 et 5 jours ouvr¿s
Voir le détail de l'annonce
- 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
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
L'électronique Par Le Schéma Tome 1 - L' Électronique Par Le Schéma
Occasion dès 45,00 €
-
Systèmes Temps Réel De Contrôle-Commande - Conception Et Implémentation
Occasion dès 72,44 €
-
Initiation À L'amplificateur Opérationnel - Classes Prépa/Maîtrise Eea/Iut/Bts
1 avis
Occasion dès 45,80 €
-
Objectiver L'humain ? - Volume 2, Communication Et Expérimentation
Occasion dès 56,05 €
-
Travaux Pratiques Du Traite De L'electronique Analogique Et Numerique - Tome 2, Labo Numerique
1 avis
Occasion dès 49,90 €
-
Traité De L'electronique Analogique Et Numérique - Volume 1, Techniques Analogiques
3 avis
Occasion dès 87,90 €
-
Bill Gates Et Le Phénomène Microsoft
Occasion dès 59,00 €
-
Le Materiel Informatique - Concepts Et Principes
Occasion dès 64,51 €
-
Systèmes Experts Et Conduite De Processus
Occasion dès 44,00 €
-
Final Fantasy 8 Viii - Le Guide Officiel
48 avis
Occasion dès 79,99 €
-
Réseaux 4g - Technologies Et Services
1 avis
Occasion dès 68,40 €
-
Programmation Basic - Théorie Et Applications
1 avis
Occasion dès 45,00 €
-
Les Briques Du Web - En Concentré
Occasion dès 65,25 €
-
La Television En Couleurs Pal Et Secam - Tome 1, Principes Et Fonctionnements, 2eme Edition
1 avis
Occasion dès 61,98 €
-
Systemique.Theorie Et Applications
Occasion dès 65,25 €
-
Architecture De L'ordinateur - Cours Et Exercices, 3ème Édition
Occasion dès 120,00 €
-
Internet Communication Et Langue Française
Occasion dès 68,38 €
-
Introduction Aux Automatismes Industriels - Grafcet Et Logique Électronique Avec Exercices Et Solutions
Occasion dès 54,52 €
-
Bases D'informations Généralisées
Occasion dès 45,80 €
-
Introduction Aux Bases De Données Access
Occasion dès 45,80 €
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