phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Theory and Applications of Satisfiability Testing - SAT 2006

Język AngielskiAngielski
Książka Miękka
Książka Theory and Applications of Satisfiability Testing - SAT 2006 Armin Biere
Kod Libristo: 01562446
Wydawnictwo Springer, Berlin, listopad 2005
This book constitutes the refereed proceedings of the 9th International Conference on Theory and App... Cały opis
? points 154 b
261.85 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Mark Wallinger Martin Herbert / Twarda
common.buy 346.88 zł
Det Nye Noas Ark David J / Miękka
common.buy 127.23 zł
Software Engineering Techniques: Design for Quality Krzysztof Sacha / Miękka
common.buy 516.53 zł
Control Reconfiguration of Dynamical Systems Thomas Steffen / Miękka
common.buy 516.53 zł
China and the First Vietnam War, 1947-54 Laura M Calkins / Twarda
common.buy 949.95 zł
Geburtstagskalender Blütenpracht / Kalendarz
common.buy 26.14 zł
How to Enjoy Paris in 1842 Intended to Serve as a Companion and Monitor, Containing Historical, Political, Commercial, Artistical, Theatrical And Stat F. Hervé / Miękka
common.buy 155.07 zł
Kiteboarden Christian Spreckels / Miękka
common.buy 85.22 zł
Die deutsche REIT-AG im Kreis der Immobilieninvestmentformen Daniel Neudecker / Twarda
common.buy 847.96 zł

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.

Informacje o książce

Pełna nazwa Theory and Applications of Satisfiability Testing - SAT 2006
Autor Armin Biere, Carla P. Gomes
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 440
EAN 9783540372066
ISBN 3540372067
Kod Libristo 01562446
Wydawnictwo Springer, Berlin
Waga 635
Wymiary 155 x 235 x 23

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo