Showing 1 - 11 results of 11 for search 'Slobodová, Anna', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Global rebuilding of OBDD's - tunnelling memory requirement maxima

    Global rebuilding of OBDD's - tunnelling memory requirement maxima by Bern, Jochen, Meinel, Christoph, Slobodová, Anna

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Efficient OBDD based Boolean manipulation in CAD beyond current limits

    Efficient OBDD based Boolean manipulation in CAD beyond current limits by Bern, Jochen, Meinel, Christoph, Slobodová, Anna

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Block restricted reordering extended experiments

    Block restricted reordering extended experiments by Meinel, Christoph, Slobodová, Anna, Willems, Peter

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    An adequate reducibility concept for problems defined in terms of ordered binary decision diagrams

    An adequate reducibility concept for problems defined in terms of ordered binary decision diagrams by Meinel, Christoph, Slobodová, Anna

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Speeding up variable reordering of OBDDs

    Speeding up variable reordering of OBDDs by Meinel, Christoph, Slobodová, Anna

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    On the complexity of constructing optimal OBDD's

    On the complexity of constructing optimal OBDD's by Meinel, Christoph, Slobodová, Anna

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Some heuristics for generating tree-like FBDD types

    Some heuristics for generating tree-like FBDD types by Bern, Jochen, Meinel, Christoph, Slobodová, Anna

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    A unifying theoretical background for some BDD based data structures

    A unifying theoretical background for some BDD based data structures by Meinel, Christoph, Slobodová, Anna

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Efficient manipulation of FBDDs by means of a modified OBDD package

    Efficient manipulation of FBDDs by means of a modified OBDD package by Slobodová, Anna, Meinel, Christoph

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Efficient manipulation with FBDDs by means of a modified OBDD-package

    Efficient manipulation with FBDDs by means of a modified OBDD-package by Slobodová, Anna, Meinel, Christoph

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Efficient manipulation of FBDDs by means of a modified OBDD package

    Efficient manipulation of FBDDs by means of a modified OBDD package by Slobodová, Anna

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: