Kroening, Daniel Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. -- Berlin : Springer, c2008. -- xvi, 304 s. : il. -- (Texts in theoretical computer science. An EATCS series). -- ISBN : 978-3-540-74104-6 (váz.). Strichman, Ofer algoritmy (programování). teorie rozhodování. operační výzkum. učebnice 004.421. 519.8. 519.226. 519.816. (075)
Citace
Počet záznamů: 1
openseadragon
Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom
jak používáme cookies.