Search results
- Conceptual structures in practice / edited by Pascal Hitzler, Henrik Schärfe. Boca Raton, Fla. : CRC Press, c2009 . xvii, 407 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- 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 book
- DNA computing : new computing paradigms / G. Păun, G. Rozenberg, A. Salomaa. Berlin : Springer, 1998 . ix, 402 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Introduction to the analysis of algorithms / Robert Sedgewick, Philippe Flajolet. Boston : Addison-Wesley, 1996c . xv, 492 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Logic for learning : learning comprehensible theories from structured data / J.W. Lloyd. Berlin : Springer, 2003 . x, 256 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Programovací techniky / Jan Rychlík. České Budějovice : KOPP, 1995 . 188 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Randomized algorithms / Rajeev Motwani, Prabhakar Raghavan. Cambridge : Cambridge University Press, c1995 . xiv, 476 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- Structured parallel programming : patterns for efficient computation / Michael McCool, Arch D. Robinson, James Reinders. Waltham, Mass. : Morgan Kaufmann, c2012 . xxvi, 406 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book
- Základy programování v prostředí LabVIEW / Jiří Pechoušek. Olomouc : Univerzita Palackého, 2004 . 84 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 Z 0 0 0 1 0 0 book