Výsledky vyhledávání
- Computer processing of remotely-sensed images : an introduction / Paul M. Mather. Chichester ; New York : John Wiley & Sons, c1999 . xiv, 292 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 0 0 0 kniha
- Constraint processing / Rina Dechter ; with contributions by David Cohen, Peter Jeavons, Francesca Rossi. San Francisco : Morgan Kaufmann Publishers, an imprint of Elsevier Science, [2003] ©2003 . xx, 481 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Foundations of logic programming / J. W. Lloyd. Berlin : Springer-Verlag, 1987 . xii, 212 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 kniha
- The little typer / Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride. Cambridge, Massachusetts ; London, England : The MIT Press, [2018] ©2018 . xiii, 403 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 kniha
- Logic for computer scientists / Uwe Schöning. New York : Springer Science+Business Media, LLC, 1989 . 166 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
kniha
- 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 kniha
- 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 kniha
- Logical and relational learning / Luc De Raedt. Berlin : Springer, c2008 . xv, 387 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Logické procesory / Norbert Frištacký a kol.. Bratislava : Praha : Alfa ; Státní nakladatelství technické literatury, 1981 . 163 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci Z 1 0 0 0 0 0 kniha
- Multiagent systems : algorithmic, game-theoretic, and logical foundations / Yoav Shoham, Kevin Leyton-Brown. Cambridge : Cambridge University Press, 2009 . xx, 483 stran
http://www.loc.gov/catdir/enhancements/fy0834/2008012063-b.html http://www.loc.gov/catdir/enhancements/fy0834/2008012063-d.html http://www.loc.gov/catdir/enhancements/fy0834/2008012063-t.htmlLok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 kniha