[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 Application of Satisfiability Testing

Lingua IngleseInglese
Libro In brossura
Libro Theory and Application of Satisfiability Testing Karem A. Sakallah
Codice Libristo: 01658153
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2011
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap... Descrizione completa
? points 174 b
73.74 €
Magazzino esterno Inviamo tra 13-18 giorni

30 giorni per il reso

Potrebbe interessarti anche

Modernism and Eugenics Donald J. Childs / In brossura
common.buy 69.46 €
Fifty Years After the "Homage to Santa Rosalia": Old and New Paradigms on Biodiversity in Aquatic Ecosystems Luigi Naselli-Flores / In brossura
common.buy 184.32 €
Wie schieße ich richtig? Fritz Lang / Rigido
common.buy 21.83 €
F.I.P. - Pensionsplan - eine kritische Analyse Yury Evteev / In brossura
common.buy 48.37 €

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.§The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

Informazioni sul libro

Titolo completo Theory and Application of Satisfiability Testing
Autore Karem A. Sakallah, Laurent Simon
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 371
EAN 9783642215803
ISBN 3642215807
Codice Libristo 01658153
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 597
Dimensioni 155 x 235 x 23

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
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 > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
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