Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Theory and Application of Satisfiability Testing

Name: Theory and Application of Satisfiability Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658153
Price: 71.69 EUR
Availability: InStock

Karem A. Sakallah

Laurent Simon

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01658153

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2011

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

Libristo kód: 01658153

177 b

71.69 €

Skladom u dodávateľa Odosielame za 9-13 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Modernism and Eugenics Donald J. Childs

/ Brožovaná

67.80 €

Fifty Years After the "Homage to Santa Rosalia": Old and New Paradigms on Biodiversity in Aquatic Ecosystems Luigi Naselli-Flores

/ Brožovaná

182.11 €

F.I.P. - Pensionsplan - eine kritische Analyse Yury Evteev

/ Brožovaná

47.52 €

Wie schieße ich richtig? Fritz Lang

/ Pevná

21.81 €

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.

Informácie o knihe

Celý názov Theory and Application of Satisfiability Testing

Autor Karem A. Sakallah, Laurent Simon

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2011

Počet strán 371

EAN 9783642215803

ISBN 3642215807

Libristo kód 01658153

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 597

Rozmery 155 x 235 x 23

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 > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Algoritmy a dátové štruktúry

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

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

Doručenie

Nákupný poradca