[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Theory and Applications of Satisfiability Testing - SAT 2006

Langue AnglaisAnglais
Livre Livre de poche
Livre Theory and Applications of Satisfiability Testing - SAT 2006 Armin Biere
Code Libristo: 01562446
Éditeurs Springer, Berlin, novembre 2005
This book constitutes the refereed proceedings of the 9th International Conference on Theory and App... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Mark Wallinger Martin Herbert / Livre relié
common.buy 86.27 €
Det Nye Noas Ark David J / Livre de poche
common.buy 33.49 €
Software Engineering Techniques: Design for Quality Krzysztof Sacha / Livre de poche
common.buy 134.22 €
Control Reconfiguration of Dynamical Systems Thomas Steffen / Livre de poche
common.buy 134.22 €
China and the First Vietnam War, 1947-54 Laura M Calkins / Livre relié
common.buy 246.72 €
Geburtstagskalender Blütenpracht / Calendrier
common.buy 6.37 €
How to Enjoy Paris in 1842 Intended to Serve as a Companion and Monitor, Containing Historical, Political, Commercial, Artistical, Theatrical And Stat F. Hervé / Livre de poche
common.buy 40.24 €
Kiteboarden Christian Spreckels / Livre de poche
common.buy 26.65 €
Die deutsche REIT-AG im Kreis der Immobilieninvestmentformen Daniel Neudecker / Livre relié
common.buy 190.54 €

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more.

À propos du livre

Nom complet Theory and Applications of Satisfiability Testing - SAT 2006
Auteur Armin Biere, Carla P. Gomes
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2006
Nombre de pages 440
EAN 9783540372066
ISBN 3540372067
Code Libristo 01562446
Éditeurs Springer, Berlin
Poids 635
Dimensions 155 x 235 x 23

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo