Basket

  Untick selected:   0
  1. Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant.    Berlin :  Springer,  c2008 . xvi, 304 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Decision procedures

    book

  2.  

    Dyslexie : aktivity pro děti se specifickou poruchou učení pro 4.-5. ročník ZŠ / Dita Nastoupilová ; ilustroval Petr Šrédl.    Praha : Fragment, 2019 . 31 stran
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    Z000100
    Dyslexie

    book


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.