[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Theory and Applications of Satisfiability Testing - SAT 2006

Lingua IngleseInglese
Libro In brossura
Libro Theory and Applications of Satisfiability Testing - SAT 2006 Armin Biere
Codice Libristo: 01562446
Casa editrice Springer, Berlin, novembre 2005
This book constitutes the refereed proceedings of the 9th International Conference on Theory and App... Descrizione completa
? points 172 b
72.67 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Mark Wallinger Martin Herbert / Rigido
common.buy 92.15 €
Det Nye Noas Ark David J / In brossura
common.buy 35.74 €
Software Engineering Techniques: Design for Quality Krzysztof Sacha / In brossura
common.buy 143.32 €
Control Reconfiguration of Dynamical Systems Thomas Steffen / In brossura
common.buy 143.32 €
Geburtstagskalender Blütenpracht / Calendario
common.buy 7.27 €
China and the First Vietnam War, 1947-54 Laura M Calkins / Rigido
common.buy 263.42 €
How to Enjoy Paris in 1842 Intended to Serve as a Companion and Monitor, Containing Historical, Political, Commercial, Artistical, Theatrical And Stat F. Hervé / In brossura
common.buy 42.91 €
Kiteboarden Christian Spreckels / In brossura
common.buy 23.97 €
Die deutsche REIT-AG im Kreis der Immobilieninvestmentformen Daniel Neudecker / Rigido
common.buy 214.61 €

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.

Informazioni sul libro

Titolo completo Theory and Applications of Satisfiability Testing - SAT 2006
Autore Armin Biere, Carla P. Gomes
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 440
EAN 9783540372066
ISBN 3540372067
Codice Libristo 01562446
Casa editrice Springer, Berlin
Peso 635
Dimensioni 155 x 235 x 23

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo