Search results
- Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard Scholz. Berlin : Springer, c2003 . xii, 129 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Algorithms for sensor and ad hoc networks : advanced lectures / Dorothea Wagner, Roger Wattenhofer (eds.). Berlin : Springer, c2007 . xiii, 415 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Application of petri nets to communication networks : advances in petri nets / Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.). Berlin : Springer, 1999 . vii, 303 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Applications and theory of Petri nets : 29th International Conference, Petri Nets 2008, Xi'an, China, June 23-27, 2008 / Kees M. van Hee, Rüdiger Valk (eds.). Berlin : Springer, c2008 . xiii, 428 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Association rule mining : models and algorithms / Chengqi Zhang, Shichao Zhang. Berlin ; Heidelberg ; New York : Springer, 2002 . xii, 238 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Compiler construction : 6th international conference, CC '96, Linköping, Sweden, April 24-26, 1996 : proceedings / editor Tibor Gyimóthy. Berlin : Springer, 1996 . X, 355 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Compiler construction : 7th international conference, CC '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / editor Kai Koskimies. Berlin : Springer, 1998 . X, 309 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book
- Compiler optimizations for scalable parallel systems : languages, compilation techniques, and run time systems / Santosh Pande, Dharma P. Agrawal (eds.). Berlin : Springer, c2001 . xxvii, 778 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 2 0 0 book
- Computational discrete mathematics : advanced lectures / editor Helmut Alt. Berlin : Springer, 2001 . VI, 171 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 book
- Computational forensics : third international workshop, IWCF 2009, The Hague, The Netherlands, August 13-14, 2009 : proceedings / Zeno J.M.H. Geradts, Katrin Y. Franke, Cor J. Veenman (eds.). Berlin : Springer, [2009] ©2009 . x, 180 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci FF 0 0 0 1 0 0 
book