Search results
- Algebra for computer science / Lars Garding, Torbjörn Tambour. New York : Springer-Verlag, 1988 . ix, 198 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Bifurcations and catastrophes : geometry of solutions to nonlinear problems / Michel Demazure ; translated from the French by David Chillingworth. Berlin ; Heidelberg : Springer-Verlag, c2000 . viii, 301 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- The classical decision problem / Egon Börger, Erich Grädel, Yuri Gurevich. Berlin ; Heidelberg ; New York : Springer, 2001 . x, 482 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Compact Riemann surfaces : an introduction to contemporary mathematics / Jürgen Jost ; translated by R.R. Simha. Berlin : Springer, 1997 . XIV, 291 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Comprehensive mathematics for computer scientists. 1, Sets and numbers, graphs and algebra, logic and machines, linear geometry / Guerino Mazzola, Gérard Milmeister, Jody Weissmann. Berlin ; Heidelberg : Springer, 2004 . xii, 357 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 3 0 0 0 0 0 book
- Comprehensive mathematics for computer scientists. 2, Calculus and ODEs, splines, probability, Fourier and Wavelet theory, fractals and neural networks, cathegories and lambda calculus / Guerino Mazzola, Gérard Milmeister, Jody Weismann. Berlin ; Heidelberg : Springer, c2005 . x, 355 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 3 0 0 0 0 0 book
- A course in formal languages, automata and groups / Ian Chiswell. London : Springer, [2009] ©2009 . ix, 157 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated by Moses Klein. New York ; Berlin ; Heidelberg : Springer Verlag, c2000 . xxxi, 443 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci CMTF 0 0 0 1 0 0 PRF 2 0 0 1 0 0 book
- Differential forms and applications / Manfredo P. do Carmo. Berlin : Springer, 1994 . xiii, 118 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Galois theory / Joseph Rotman. New York : Springer, 1998c . xiv, 157 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book