Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Theory and Application of Satisfiability Testing

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

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 148 b
60.49 €
Magazzino esterno in piccole quantità Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

ESTUDIO JURISPRUDENCIAL DE ACTO AD GONZALEZ RIVAS / Libro Libro
common.buy 25.49 €
Aby se slovo dostalo ke slovu Evert R. Jonker / Libro binding.
common.buy 6.79 €
SPANISH ACTIVITY Book for ADULTS: 160 Games Jaja Media / Libro In brossura
common.buy 9.39 €
Chasse royale à Sandringham S.J. Bennett / Libro In brossura
common.buy 21.09 €
Подросток Федор Достоевский / Libro Rigido
common.buy 28.19 €
Economico
Mon Premier Larousse de la Planète Pascal CHAUVEL / Libro Rigido
common.buy 16.39 €
I migliori
Theorie und Praxis des Goldschmieds Erhard Brepohl / Libro Rigido
common.buy 98.29 €
PRIMER ROMANCERO GITANO FEDERICO GARCIA LORCA / Libro In brossura
common.buy 12.29 €
Mon carnet dietetique Cédric Menard / Libro In brossura
common.buy 12.49 €
Velká cesta Jana Steingässer / Libro Rigido
common.buy 4.79 €
Automacao e Instrumentacao Vital Pereira Batista Júnior / Libro In brossura
common.buy 65.19 €
Le P'tit Jeune Homme: Roman Charles Vayre / Libro Rigido
common.buy 34.79 €
Satires Nouvelles, Avec Une Ode Sur l'Heureuse Convalescence de Monseigneur Le Dauphin BOILEAU-N / Libro In brossura
common.buy 13.19 €
Wissenschaftssprache Valentin Groebner / Libro Rigido
common.buy 19.49 €
Traite Du Leve, Rapport & Calcul Des Plans, Agents Des Contributions Directes Et Du Cadastre Beluet-V / Libro In brossura
common.buy 16.09 €
Nano acuarios 12-35 litros Jakob Geck / Libro In brossura
common.buy 14.39 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

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

Potrebbe interessarti anche

Memoirs of a Married Woman Elyzabeth D'Amore / Libro Rigido
common.buy 33.29 €
Where Community Happens Henry Near / Libro In brossura
common.buy 61.19 €
Better Relationships Happier Lives Terry Turner / Libro Rigido
common.buy 23.49 €
This Is the Sunflower Lola M. Schaefer / Libro Rigido
common.buy 14.49 €
Give Us This Day Herbert Lockyer / Libro In brossura
common.buy 15.39 €
Language Conflict and Language Planning Einar Haugen / Libro Rigido
common.buy 49.79 €
Creative Problem Solving Donald J. Treffinger / Libro In brossura
common.buy 30.79 €
CSD in Munich at the 09.07.2016 Nicolaus Dinter / Libro In brossura
common.buy 77.79 €
Woman's Kingdom Dinah M. M. Craik / Libro In brossura
common.buy 33.59 €
My Plastic Brain Caroline Williams / Libro Rigido
common.buy 27.89 €
Sciousness Jonathan Bricklin / Libro In brossura
common.buy 18.19 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Libro In brossura
common.buy 19.69 €
Joseph Conrad's Critical Reception John Peters / Libro Rigido
common.buy 143.89 €
Piping and Instrumentation Diagram Development Moe Toghraei / Libro Rigido
common.buy 147.79 €
Ba-chan: the Ninja Grandma Sanae Ishida / Libro Rigido
common.buy 13.89 €
I migliori
Do You Know? Level 4 - BBC Earth Looking After the Ocean Ladybird / Libro In brossura
common.buy 6.99 €
Theory of Knowledge for the IB Diploma: Skills for Success Second Edition John Sprague / Libro In brossura
common.buy 41.69 €
ZEN Ox-Herding Pictures Zensho W. Kopp / Libro In brossura
common.buy 9.49 €
10 Secrets for Success and Inner Peace Wayne Dyer / Libro In brossura
common.buy 19.09 €
In preparazione
Failure Frame: I Became the Strongest and Annihilated Everything With Low-Level Spells (Manga) Vol. 4 Sho Uyoshi / Libro In brossura
common.buy 13.59 €
The Gilded Age, a Reappraisal H. Wayne (Howard Wayne) Ed Morgan / Libro In brossura
common.buy 24.89 €
Uncannonical Jewish Books William John Ferrar / Libro In brossura
common.buy 12.69 €
Christian Punk Abraham Ibrahim Abraham / Libro elettronico Adobe ePub DRM
common.buy 43.59 €
Beautiful Year in the Bible: The 52-Week Bible Study for Women (Hc) / Libro Rigido
common.buy 46.29 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?