phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

SAT 2005

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha SAT 2005 Enrico Giunchiglia
Libristo kód: 09160830
Nakladateľstvo Springer, december 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Celý popis
? points 467 b
185.76 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

TOP
Vzpomínka na Zemi Liou Cch´-Sin / Brožovaná
common.buy 11.66 €
Kundalini Yoga Athanasios Megarisiotis / Brožovaná
common.buy 14.98 €
Hegemonův stín Orson Scott Card / Pevná
common.buy 10.86 €
Enderův stín Orson Scott Card / Pevná
common.buy 11.97 €
PRIPRAVUJEME
Beautiful You Chuck Palahniuk / Brožovaná
common.buy 9.05 €
Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto / Brožovaná
common.buy 90.36 €
Cathars, White Eagle and St John Colum Hayward / Brožovaná
common.buy 15.99 €
Mayhem Harris / Brožovaná
common.buy 17.00 €
Stress and Your Health - From Vulnerability to Resilience Hymie Anisman / Brožovaná
common.buy 28.07 €
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Brožovaná
common.buy 78.79 €
Athenaeum Raul Pompeia / Brožovaná
common.buy 22.33 €
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Brožovaná
common.buy 72.05 €
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Pevná
common.buy 226.22 €
Factors Affecting Academic Staff Turnover Intention Gebayaw Adugna / Brožovaná
common.buy 51.92 €
Metodos para la seleccion optima de carteras de proyectos Olmedo Perez Rafael Antonio / Brožovaná
common.buy 37.12 €
Scoring Off the Field Kausik Bandyopadhyay / Brožovaná
common.buy 51.21 €

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

Informácie o knihe

Celý názov SAT 2005
Autor Enrico Giunchiglia, Toby Walsh
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 293
EAN 9789400787155
ISBN 9789400787155
Libristo kód 09160830
Nakladateľstvo Springer
Váha 462
Rozmery 155 x 235 x 16

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet