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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003. Selected Revised Papers

Lingua IngleseInglese
Libro In brossura
Libro Theory and Applications of Satisfiability Testing Enrico Giunchiglia
Codice Libristo: 01558967
Casa editrice Springer, Berlin, novembre 2003
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference o... Descrizione completa
? points 111 b
45.49 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

NVI Biblia de Estudio, Teología Bíblica, Leathersoft, Café, Interior a Cuatro Colores: Sigue El Plan Redentor de Dios Como Se Desenlaza En Las Escritu D A Carson / Libro Libro
common.buy 42.19 €
Un estudio sobre estrategias de selección en empresas selectas de TI / Libro In brossura
common.buy 65.89 €
Eu amo o Outono I Love Autumn Shelley Admont / Libro elettronico Adobe ePub DRM
common.buy 1.99 €
Crear una empresa en Europa / Libro In brossura
common.buy 19.49 €
Tato kniha je levnější než terapie - Jak si udržet psychickou pohodu Liz Kelly / Libro In brossura
common.buy 12.39 €
Obor z Oglefortu Eva Ibbotsonová / Libro Rigido
common.buy 5.79 €
Soziologie Der Zwischenkriegszeit. Ihre Hauptstroemungen Und Zentralen Themen Im Deutschen Sprachraum Stephan Moebius / Libro Rigido
common.buy 46.79 €
I migliori
Deset kroků k radosti Max Kašparů / Libro Libro
common.buy 3.19 €
Oeuvres compl?tes d'Alexandre Duval; Volume 2 Alexandre Duval / Libro In brossura
common.buy 23.49 €
Latine disco II / Libro Libro
common.buy 9.49 €
Der Ra-Kontakt: Das Gesetz des Einen lehren Kentucky L/L Research (Louisville) / Libro Rigido
common.buy 40.79 €
Staré řecké báje a pověsti pro děti Michal Vaněček / Libro Rigido
common.buy 9.69 €
El amigo que surgio de un viejo ordenador BELEN GOPEGUI / Libro In brossura
common.buy 9.39 €
"Wenn Jemand Eine Reise Tut ..." Marta Smykala / Libro Rigido
common.buy 66.09 €
Kunstkritik oder Schaffensplan? Reformschrift oder Rechtfertigung? Richard Wagners 'Oper und Drama' Björn-Christian Schüßler / Libro In brossura
common.buy 14.09 €
Petr Haničinec vztekloun s jemnou duší Jan Herget / Libro Rigido
common.buy 9.39 €

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, held in Santa Margherita Ligure, Italy, in May 2003.The 33 revised full papers presented together with 5 articles reporting results of the related SAT competition and QBF evaluation were carefully selected during two rounds of reviewing and improvement from 67 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.

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 Applications of Satisfiability Testing
Autore Enrico Giunchiglia, Armando Tacchella
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 530
EAN 9783540208518
ISBN 3540208518
Codice Libristo 01558967
Casa editrice Springer, Berlin
Peso 820
Dimensioni 155 x 233 x 28

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
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

Virtual Reality, Training's Future? Paul R. Chatelier / Libro Rigido
common.buy 136.09 €
I migliori
Churchill: Walking with Destiny Andrew Roberts / Libro Rigido
common.buy 26.59 €
Nurse, Nurse, I'm Worse! Can You Help Me Sleep? Joni Bellew / Libro In brossura
common.buy 10.29 €
Tree Magic Sandra Kynes / Libro In brossura
common.buy 20.89 €
Compressive Sensing of Earth Observations C. H. Chen / Libro Rigido
common.buy 260.29 €
Learning to Lead, Leading to Learn Isao Yoshino / Libro In brossura
common.buy 17.39 €
Robot Development Using Microsoft Robotics Developer Studio KANG / Libro In brossura
common.buy 97.39 €
I migliori
Remnants of Filth: Yuwu (Novel) Vol. 2 Rou Bao Bu Chi Rou / Libro In brossura
common.buy 12.29 €
COMPLETE ASTROLOGY - How To Find Your Soul-Mate, Stars and Destiny: Volume 1 Ligia Balu / Libro In brossura
common.buy 16.19 €
Maritime Territorial and Exclusive Economic Zone (EEZ) Disputes Involving China: Issues for Congress Ronald O'Rourke / Libro In brossura
common.buy 13.19 €
KJV Large Print Thinline Bible, Plum Leathertouch / Libro Libro
common.buy 27.89 €
Chemistry in the World Kirstin Hendrickson / Libro In brossura
common.buy 114.39 €
I migliori
Attachment Theory in Practice Johnson / Libro Rigido
common.buy 48.69 €
Occasional Papers of the Boston Society of Natural History, Volume 1 Boston Society of Natural History / Libro Rigido
common.buy 33.09 €
Doctor Who: The Dalek Generation Nicholas Briggs / Libro In brossura
common.buy 23.09 €
Layers Nathaniel Branden / Libro In brossura
common.buy 15.39 €
Oxford Professional Practice: Handbook of Patient Safety Peter Lachman / Libro In brossura
common.buy 34.89 €
Cambridge Spies Verne W. Newton / Libro In brossura
common.buy 17.29 €
Burp, Hip, and Twist: The Magic Cleaners Bruce Charles Kirrage / Libro Rigido
common.buy 18.89 €
200 More Brief, Creative & Practical Art Therapy Techniques Susan Buchalter / Libro In brossura
common.buy 18.59 €
Good Dog W. Bruce Cameron / Libro Rigido
common.buy 24.49 €
I migliori
Crying in H Mart ZAUNER MICHELLE / Libro In brossura
common.buy 10.89 €
Elizabeth Brimmer Sohier, Mrs. Henry Bryant, 1823-1916: Her Biography William Sohier Bryant / Libro Rigido
common.buy 30.69 €
Let's Be Friends (L.O.L. Surprise!) Random House / Libro In brossura
common.buy 4.39 €

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?