Number of the records: 1
Title statement Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant Personal name Kroening, Daniel (author) Issue data Berlin : Springer, c2008 Phys.des. xvi, 304 s. : il. ISBN 978-3-540-74104-6 (váz.) Edition Texts in theoretical computer science. An EATCS series Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy a rejstřík Another responsib. Strichman, Ofer (author) Subj. Headings algoritmy (programování) computer algorithms * teorie rozhodování decision theory * operační výzkum operations research Form, Genre učebnice textbooks Conspect 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 UDC 004.421 , 519.8 , 519.226 , 519.816 , (075) Country Německo Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M2/1128 (PřF) 3134033890 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1