phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

SAT 2005

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha SAT 2005 Enrico Giunchiglia
Libristo kód: 09160830
Nakladatelství Springer, prosince 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Celý popis
? points 467 b
4 673 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Vzpomínka na Zemi Liou Cch´-Sin / Brožovaná
common.buy 245 Kč
TOP
Kundalini Yoga Athanasios Megarisiotis / Brožovaná
common.buy 381 Kč
Hegemonův stín Orson Scott Card / Pevná
common.buy 256 Kč
Enderův stín Orson Scott Card / Pevná
common.buy 256 Kč
Připravujeme
Beautiful You Chuck Palahniuk / Brožovaná
common.buy 240 Kč
Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto / Brožovaná
common.buy 2 274 Kč
Cathars, White Eagle and St John Colum Hayward / Brožovaná
common.buy 423 Kč
BEST OF CORELLI CELLO Paul Paradise / Brožovaná
common.buy 175 Kč
Mayhem Harris / Brožovaná
common.buy 426 Kč
Stress and Your Health - From Vulnerability to Resilience Hymie Anisman / Brožovaná
common.buy 705 Kč
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Brožovaná
common.buy 1 950 Kč
Les Tribulations de M. Le Prefet. Scenes Electorales De Maleville-L / Brožovaná
common.buy 481 Kč
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Brožovaná
common.buy 1 996 Kč
Solid State Ionics for Batteries C. Iwakura / Brožovaná
common.buy 3 039 Kč
Athenaeum Raul Pompeia / Brožovaná
common.buy 576 Kč
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Pevná
common.buy 6 167 Kč

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

Informace o knize

Plný název SAT 2005
Autor Enrico Giunchiglia, Toby Walsh
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 293
EAN 9789400787155
ISBN 9789400787155
Libristo kód 09160830
Nakladatelství Springer
Váha 462
Rozměry 155 x 235 x 16

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Umělá inteligence
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet