Search results
- Handbook of satisfiability / edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh. Amsterdam : IOS Press, [2009] ©2009 . xiii, 966 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 - Knowledge-based software engineering : proceedings of the fourth Joint Conference on Knowledge-Based Software Engineering Brno, Czech Republic, 2000 / edited by Tomáš Hruška and Masa-aki Hashimoto. Amsterdam : Tokyo : IOS Press ; Ohmsha, c2000 . xii, 330 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 0 0 0 1 0 0