Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
SAT-based scalable formal verification solutions
Autor: Malay. Ganai, Aarti. Gupta
Rok: 2007
ISBN: 9780387691664
OKCZID: 110415440
Citace (dle ČSN ISO 690):
GANAI, Malay. SAT-based scalable formal verification solutions. New York: Springer, c2007. xvii, 326 s. Series on integrated circuits and systems.
Anotace
This book provides an engineering insight into how to provide a scalable and robust verification solution with ever increasing design complexity and sizes. It describes SAT-based model checking approaches and gives engineering details on what makes model checking practical. The book brings together the various SAT-based scalable emerging technologies and techniques covered can be synergistically combined into a scalable solution.