Search results

Records found: 30  
Your query: Author Sysno/Doc.kind = "^upol_us_auth 0002325 amg^"
  1. 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
    PRF000100
    Advanced symbolic analysis for compilers

    book

  2. 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
    PRF000100
    Algorithms for sensor and ad hoc networks

    book

  3. 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
    PRF000100
    Application of petri nets to communication networks

    book

  4. 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
    PRF100000
    Applications and theory of Petri nets

    book

  5. 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
    PRF000100
    Association rule mining

    book

  6. 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
    PRF100000
    Compiler construction

    book

  7. 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
    PRF000100
    Compiler construction

    book

  8. 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
    PRF000200
    Compiler optimizations for scalable parallel systems

    book

  9. 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
    PRF100000
    Computational discrete mathematics

    book

  10. 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
    FF000100
    book

    book


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.