Výsledky vyhledávání
- Computer algorithms for solving linear algebraic equations : the state of art / edited by Emilio Spedicato. Berlin : Springer, 1991c . 352 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
kniha
- Deductive program design / edited by Manfred Broy. Berlin : Springer, 1996 . VIII, 467 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha