phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Theory and Applications of Satisfiability Testing - SAT 2006

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Theory and Applications of Satisfiability Testing - SAT 2006 Armin Biere
Libristo kód: 01562446
Kiadó Springer, Berlin, november 2005
This book constitutes the refereed proceedings of the 9th International Conference on Theory and App... Teljes leírás
? points 168 b
26 453 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Mark Wallinger Martin Herbert / Kemény kötésű
common.buy 30 675 Ft
How to Enjoy Paris in 1842 Intended to Serve as a Companion and Monitor, Containing Historical, Political, Commercial, Artistical, Theatrical And Stat F. Hervé / Puha kötésű
common.buy 15 531 Ft
Det Nye Noas Ark David J / Puha kötésű
common.buy 12 463 Ft
Software Engineering Techniques: Design for Quality Krzysztof Sacha / Puha kötésű
common.buy 52 141 Ft
China and the First Vietnam War, 1947-54 Laura M Calkins / Kemény kötésű
common.buy 95 642 Ft
Kiteboarden Christian Spreckels / Puha kötésű
common.buy 8 373 Ft
Die deutsche REIT-AG im Kreis der Immobilieninvestmentformen Daniel Neudecker / Kemény kötésű
common.buy 74 851 Ft
Geburtstagskalender Blütenpracht / Naptár
common.buy 2 534 Ft
Control Reconfiguration of Dynamical Systems Thomas Steffen / Puha kötésű
common.buy 52 141 Ft

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.

Információ a könyvről

Teljes megnevezés Theory and Applications of Satisfiability Testing - SAT 2006
Szerző Armin Biere, Carla P. Gomes
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2006
Oldalszám 440
EAN 9783540372066
ISBN 3540372067
Libristo kód 01562446
Kiadó Springer, Berlin
Súly 635
Méretek 155 x 235 x 23

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet > Robotika
Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia
Számítástechnika és információtechnológia > Operációs rendszerek
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása