Search results
- Combinatorics, computability and logic : proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01) / editors C.S. Calude, M.J. Dinneen and S. Sburlan. London : Springer, 2001 . x, 251 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Hardware design and Petri nets / edited by Alex Yakovlev, Luis Gomes and Luciano Lavagno. Boston : Kluwer Academic Publishers, c2000 . xi, 331 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Information-theoretic incompleteness / G.J. Chaitin. Singapore : World Scientific, 1998 . vii, 227 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book