Počet záznamů: 1
Handbook of satisfiability
Údaje o názvu Handbook of satisfiability / edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh Nakladatel Amsterdam : IOS Press, [2009] Copyright ©2009 Fyz.popis xiii, 966 stran : ilustrace ISBN 978-1-58603-929-5 (vázáno) Edice Frontiers in artificial intelligence and applications : ISSN 0922-6389 ; volume 185 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii, bibliografické odkazy a rejstřík Dal.odpovědnost Biere, Armin, 1967- (editor) Heule, Marijn, 1979- (editor) Maaren, Hans van, 1950- (editor) Walsh, Toby (editor) Předmět.hesla algoritmy (programování) computer algorithms * rozhodování decision making * výroková logika propositional calculus Forma, žánr příručky handbooks and manuals Konspekt 004.4/.6 - Programování. Software MDT 004.421 , 164.1 , 510.633 , (035) Země vyd. Nizozemsko Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M2/1401 (PřF) 3134043770 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M2/1401a (PřF) 3134050277 PřF PřF, Knihovna Doba výp. 30 dní M2/1401b (PřF) 3134050278 PřF PřF, Knihovna Doba výp. 30 dní
Počet záznamů: 1