Počet záznamů: 1
Údaje o názvu Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant Osobní jméno Kroening, Daniel (autor) Vyd.údaje Berlin : Springer, c2008 Fyz.popis xvi, 304 s. : il. ISBN 978-3-540-74104-6 (váz.) Edice Texts in theoretical computer science. An EATCS series Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografické odkazy a rejstřík Dal.odpovědnost Strichman, Ofer (autor) Předmět.hesla algoritmy (programování) computer algorithms * teorie rozhodování decision theory * operační výzkum operations research Forma, žánr učebnice textbooks Konspekt 519 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 004.421 , 519.8 , 519.226 , 519.816 , (075) Země vyd. Německo Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M2/1128 (PřF) 3134033890 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1