Počet záznamů: 1  

Decision procedures

  1. Údaje o názvuDecision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant
    Osobní jméno Kroening, Daniel (autor)
    Vyd.údajeBerlin : Springer, c2008
    Fyz.popisxvi, 304 s. : il.
    ISBN978-3-540-74104-6 (váz.)
    EdiceTexts in theoretical computer science. An EATCS series
    Poznámky o skryté bibliografii a rejstřícíchObsahuje 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
    Konspekt519 - 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
    SignaturaČár.kódLokaceDislokaceInfo
    M2/1128 (PřF)3134033890PřFPřF, KMI – Bc. Kolovratníkovápouze prezenčně