Search results
- Logic functions and equations : binary models for computer science / by Christian Posthoff, Bernd Steinbach. Dordrecht : Springer, c2004 . xxix, 392 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Logic in computer science, modelling and reasoning about systems / Michael Huth and Mark Ryan. Cambridge : Cambridge University Press, 2004 . xiv, 427 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book