Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Theory and Applications of Satisfiability Testing -- SAT 2012

Name: Theory and Applications of Satisfiability Testing -- SAT 2012
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661597
Price: 1540 CZK
Availability: InStock

Alessandro Cimatti

Roberto Sebastiani

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01661597

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, června 2012

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Ap... Celý popis

Libristo kód: 01661597

154 b

1 540 Kč včetně DPH

Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Life is a Banquet Edward Blom

/ Pevná

638 Kč

Studien zur Entwicklung der ökonomischen Theorie. Bd.4 Harald Scherf

/ Brožovaná

938 Kč

Countering the Threat of Improvised Explosive Devices Committee on Defeating Improvised Explosive Devices: Basic Research to Interrupt the IED Delivery Chain

/ Brožovaná

846 Kč

Titian / Metamorphosis Conrad Shawcross

/ Pevná

28 718 Kč

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers). The papers are organized in topical sections on stochastic local search, theory, quantified Boolean formulae, applications, parallel and portfolio approaches, CDCL SAT solving, MAX-SAT, cores interpolants, complexity analysis, and circuits and encodings.

Informace o knize

Plný název Theory and Applications of Satisfiability Testing -- SAT 2012

Autor Alessandro Cimatti, Roberto Sebastiani

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2012

Počet stran 500

EAN 9783642316111

ISBN 3642316115

Libristo kód 01661597

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 789

Rozměry 155 x 235 x 28

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

Matematika a věda > Matematika > Aplikovaná matematika

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

Doručení

Nákupní rádce