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ł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

SAT 2005

Język AngielskiAngielski
Książka Miękka
Książka SAT 2005 Enrico Giunchiglia
Kod Libristo: 09160830
Wydawnictwo Springer, grudzień 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Cały opis
? points 446 b
764.76 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 10-14 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Vzpomínka na Zemi Liou Cch´-Sin / Miękka
common.buy 30.46 zł
Kundalini Yoga Athanasios Megarisiotis / Miękka
common.buy 61.12 zł
Hegemonův stín Orson Scott Card / Twarda
common.buy 47.95 zł
Enderův stín Orson Scott Card / Twarda
common.buy 45.54 zł
Zapowiedź
Beautiful You Chuck Palahniuk / Miękka
common.buy 32.17 zł
Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto / Miękka
common.buy 369.91 zł
Cathars, White Eagle and St John Colum Hayward / Miękka
common.buy 67.36 zł
Mayhem Harris / Miękka
common.buy 68.67 zł
BEST OF CORELLI CELLO Paul Paradise / Miękka
common.buy 28.24 zł
Stress and Your Health - From Vulnerability to Resilience Hymie Anisman / Miękka
common.buy 113.21 zł
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Miękka
common.buy 324.56 zł
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Miękka
common.buy 294.90 zł
Les Tribulations de M. Le Prefet. Scenes Electorales De Maleville-L / Miękka
common.buy 71.78 zł
Solid State Ionics for Batteries C. Iwakura / Miękka
common.buy 497.20 zł
Athenaeum Raul Pompeia / Miękka
common.buy 79.32 zł
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Twarda
common.buy 933.38 zł

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§

Informacje o książce

Pełna nazwa SAT 2005
Autor Enrico Giunchiglia, Toby Walsh
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 293
EAN 9789400787155
ISBN 9789400787155
Kod Libristo 09160830
Wydawnictwo Springer
Waga 462
Wymiary 155 x 235 x 16

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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