Search results
- Algorithms in combinatorial geometry / Herbert Edelsbrunner. Berlin : Springer-Verlag, 1987 ©1987 . xv, 423 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 
book
- Incomplete information : structure, inference, complexity / Stéphane P. Demri, Ewa S. Orłowska. Berlin ; Heidelberg ; New York, N.Y. : Springer, 2002c . xviii, 405 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 3 0 0 book
- Models of massive parallelism : analysis of cellular automata and neural networks / Max Garzon. Heidelberg ; Berlin ; New York : Springer, 1995 . xiv, 272 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Structural complexity. II / José Luis Balcázar, Josep Díaz, Joaquim Gabarró. Berlin ; Heidelberg ; New York : Springer, c1990 . ix, 283 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- The structure of the relational database model / Jan Paredaens ... [et al.]. Berlin ; Heidelberg ; New York : Springer, c1989 . x, 231 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Temporal logic of programs / Fred Kröger. Berlin : Springer-Verlag, 1987 . viii, 148 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book