Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Theory and Application of Satisfiability Testing

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Theory and Application of Satisfiability Testing Karem A. Sakallah
Libristo kód: 01658153
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2011
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap... Celý popis
? points 136 b
1 355 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-16 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Chasse royale à Sandringham S.J. Bennett / Kniha Brožovaná
common.buy 467 Kč
ESTUDIO JURISPRUDENCIAL DE ACTO AD GONZALEZ RIVAS / Kniha Kniha
common.buy 623 Kč
SPANISH ACTIVITY Book for ADULTS: 160 Games Jaja Media / Kniha Brožovaná
common.buy 206 Kč
Automacao e Instrumentacao Vital Pereira Batista Júnior / Kniha Brožovaná
common.buy 1 418 Kč
Подросток Федор Достоевский / Kniha Pevná
common.buy 653 Kč
Levně
Mon Premier Larousse de la Planète Pascal CHAUVEL / Kniha Pevná
common.buy 392 Kč
Aby se slovo dostalo ke slovu Evert R. Jonker / Kniha binding.
common.buy 169 Kč
F.I.P. - Pensionsplan - eine kritische Analyse Yury Evteev / Kniha Brožovaná
common.buy 389 Kč
Mon carnet dietetique Cédric Menard / Kniha Brožovaná
common.buy 273 Kč
Velká cesta Jana Steingässer / Kniha Pevná
common.buy 115 Kč
Le P'tit Jeune Homme: Roman Charles Vayre / Kniha Pevná
common.buy 772 Kč
Satires Nouvelles, Avec Une Ode Sur l'Heureuse Convalescence de Monseigneur Le Dauphin BOILEAU-N / Kniha Brožovaná
common.buy 293 Kč
Wissenschaftssprache Valentin Groebner / Kniha Pevná
common.buy 447 Kč
Traite Du Leve, Rapport & Calcul Des Plans, Agents Des Contributions Directes Et Du Cadastre Beluet-V / Kniha Brožovaná
common.buy 358 Kč
Nano acuarios 12-35 litros Jakob Geck / Kniha Brožovaná
common.buy 350 Kč
Připravujeme
Theorie und Praxis des Goldschmieds Erhard Brepohl / Kniha Pevná
common.buy 2 152 Kč

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.§The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Theory and Application of Satisfiability Testing
Autor Karem A. Sakallah, Laurent Simon
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 371
EAN 9783642215803
ISBN 3642215807
Libristo kód 01658153
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 597
Rozměry 155 x 235 x 23

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 > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
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

Mohlo by vás také zajímat

Better Relationships Happier Lives Terry Turner / Kniha Pevná
common.buy 459 Kč
This Is the Sunflower Lola M. Schaefer / Kniha Pevná
common.buy 334 Kč
Give Us This Day Herbert Lockyer / Kniha Brožovaná
common.buy 337 Kč
Language Conflict and Language Planning Einar Haugen / Kniha Pevná
common.buy 1 097 Kč
Creative Problem Solving Donald J. Treffinger / Kniha Brožovaná
common.buy 790 Kč
CSD in Munich at the 09.07.2016 Nicolaus Dinter / Kniha Brožovaná
common.buy 1 694 Kč
Woman's Kingdom Dinah M. M. Craik / Kniha Brožovaná
common.buy 732 Kč
My Plastic Brain Caroline Williams / Kniha Pevná
common.buy 618 Kč
Sciousness Jonathan Bricklin / Kniha Brožovaná
common.buy 403 Kč
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Kniha Brožovaná
common.buy 428 Kč
Suzy's Sick Sister Tricia & Other Tough Tongue Twisters R Johnson / Kniha Brožovaná
common.buy 217 Kč
Memoirs of a Married Woman Elyzabeth D'Amore / Kniha Pevná
common.buy 744 Kč
Joseph Conrad's Critical Reception John Peters / Kniha Pevná
common.buy 3 043 Kč
Ba-chan: the Ninja Grandma Sanae Ishida / Kniha Pevná
common.buy 317 Kč
Do You Know? Level 4 - BBC Earth Looking After the Ocean Ladybird / Kniha Brožovaná
common.buy 149 Kč
New KS1 English Targeted Question Book: Year 1 Reading Comprehension - Book 2 (with Answers) Cgp Books / Kniha Brožovaná
common.buy 123 Kč
Připravujeme
Theory of Knowledge for the IB Diploma: Skills for Success Second Edition John Sprague / Kniha Brožovaná
common.buy 814 Kč
ZEN Ox-Herding Pictures Zensho W. Kopp / Kniha Brožovaná
common.buy 207 Kč
10 Secrets for Success and Inner Peace Wayne Dyer / Kniha Brožovaná
common.buy 427 Kč
Připravujeme
Failure Frame: I Became the Strongest and Annihilated Everything With Low-Level Spells (Manga) Vol. 4 Sho Uyoshi / Kniha Brožovaná
common.buy 291 Kč
The Gilded Age, a Reappraisal H. Wayne (Howard Wayne) Ed Morgan / Kniha Brožovaná
common.buy 617 Kč
Uncannonical Jewish Books William John Ferrar / Kniha Brožovaná
common.buy 275 Kč
Christian Punk Abraham Ibrahim Abraham / E-kniha Adobe ePub DRM
common.buy 1 012 Kč
Beautiful Year in the Bible: The 52-Week Bible Study for Women (Hc) / Kniha Pevná
common.buy 1 015 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?