Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure Christian Herde
Partagez cette page :
-
Parrainage
Envoyez cette page à un ami et gagnez 7 €
-
Partagez sur votre blog
-
Tweet this
Partagez sur Twitter
-
Encore plus d'options
PriceMinister vous recommande
+6,30 € de frais de port
Produit Neuf
Vendu par BOOKS-UK (PRO)–Note : 4,8/5 pour 24389 ventes
- Tous les vendeurs
- Faire un souhait (alerte prix)
- Vendez le vôtre
-
1 occasion à partir de : 57,18 €
-
5 neufs à partir de : 50,74 €
15 euros de réduction avec 1euro.com
15 euros de réduction sans minimum d'achat pour tout premier paiement avec 1euro.com
Un crédit vous engage et doit être remboursé. Vérifiez vos capacités de remboursement avant de vous engager.
1er avis sur ce produit = 10 chances de gagner 500 €
- Christian Herde - 01/02/2011 - Broché
Résumé Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides...
-
5 vendeurs pour Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde
- Vendez le vôtre
- 50,74 €
- +6,30 € de frais de port
- Vendu par : BOOKS-UK (PRO)–Note : 4,8/5 pour 24389 ventes
- Expédition : recommandé
- Produit Neuf
- Neuf livre. Expédié en direct de Grande-Bretagne sous 7 à 10 jours ouvrés. - Barcode ID: 9783834814944
- Voir le détail de l'annonce - Poser une question
- 57,18 €
- +6,30 € de frais de port
- Vendu par : Great-Prices (PRO)–Note : 4,5/5 pour 17840 ventes
- Expédition : recommandé
- Produit Neuf
- Envoi depuis les Etat Unis. Livré en 14 jours.
- Voir le détail de l'annonce
- 57,18 €
- +6,30 € de frais de port
- Vendu par : Great-Prices (PRO)–Note : 4,5/5 pour 17840 ventes
- Expédition : recommandé
- Bon Etat
- Envoi depuis les Etat Unis. Livré en 14 jours.
- Voir le détail de l'annonce
-
68,94 €
ou 22,98 € x 3
Pour cet achat de 68,94 € : 1ère mensualité avec frais de 24,70 € puis 2 de 22,98 €.
Montant total dû : 70,66 €. TAEG fixe 16,83%.Un crédit vous engage et doit être remboursé. Vérifiez vos capacités de remboursement avant de vous engager.
- +11,50 € de frais de port
-
Vendu par :
Bides-de (PRO)
–Note : 4,7/5 pour 1466 ventes
- Expédition : recommandé
- Produit Neuf
-
-
- Voir le détail de l'annonce - Poser une question
-
69,17 €
ou 23,06 € x 3
Pour cet achat de 69,17 € : 1ère mensualité avec frais de 24,79 € puis 2 de 23,06 €.
Montant total dû : 70,90 €. TAEG fixe 16,83%.Un crédit vous engage et doit être remboursé. Vérifiez vos capacités de remboursement avant de vous engager.
- +11,50 € de frais de port
- Vendu par : Mediaprvous (PRO)–Note : 4,8/5 pour 547 ventes
- Expédition : recommandé
- Produit Neuf
- Expédié le jours ouvrié suivant. Ships on next working day.
- Voir le détail de l'annonce - Poser une question
-
89,05 €
ou 29,68 € x 3
Pour cet achat de 89,05 € : 1ère mensualité avec frais de 31,91 € puis 2 de 29,68 €.
Montant total dû : 91,28 €. TAEG fixe 16,83%.Un crédit vous engage et doit être remboursé. Vérifiez vos capacités de remboursement avant de vous engager.
- +6,30 € de frais de port
- Vendu par : azdeal (PRO)–Note : 4,8/5 pour 2521 ventes
- Expédition : recommandé
- Produit Neuf
- ** NEUF SOUS CELLOPHANE ** VENDEUR PRO ** ENVOI RAPIDE ** PAS D'EXPEDITION VERS DOM / SUISSE
- Voir le détail de l'annonce
Astuce ! Recevez une alerte e-mail dès qu'un vendeur dépose une annonce à votre prix : Faire un souhait !
Avis des PriceMembers
Avis sur "Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde" - Livre
0 avis sur Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde - Livre
1er avis sur ce produit = 10 chances de gagner 500 €
Donnez votre avis et cumulez 5
Edito
- Auteur : Christian Herde
- Editeur : Vieweg+Teubner Verlag
- Langue : Anglais
- Parution : 01/02/2011
- Dimensions : 21.1 x 16.8 x 1.7
Résumé
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.
Forum sur Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde
Aucune discussion en cours.
