Showing 1 - 20 results of 26 for search 'Sperschneider, Volker', query time: 0.06s 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
    Theoretische Informatik Eine problemorientierte Einführung

    Theoretische Informatik Eine problemorientierte Einführung by Sperschneider, Volker

    Published 1996

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    A horn logic approach to modularity in knowledge based systems

    A horn logic approach to modularity in knowledge based systems by Antoniou, Grigoris 1961-, Sperschneider, Volker

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    On the verification on modules

    On the verification on modules by Antoniou, Grigoris 1961-, Sperschneider, Volker

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    On the verification of modules

    On the verification of modules by Antoniou, Grigoris 1961-, Sperschneider, Volker

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Modulare Programme und ihre Verifikation

    Modulare Programme und ihre Verifikation by Antoniou, Grigoris 1961-, Sperschneider, Volker

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Computations on words and their complexity

    Computations on words and their complexity by Sperschneider, Volker

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Incompleteness of HOARE's calculus over simple datastructures

    Incompleteness of HOARE's calculus over simple datastructures by Antoniou, Grigoris 1961-, Sperschneider, Volker

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Bioinformatics Problem Solving Paradigms

    Bioinformatics Problem Solving Paradigms by Sperschneider, Volker

    Published 2008
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    LOGIC a foundation for computer science

    LOGIC a foundation for computer science by Sperschneider, Volker 1952-, Antoniou, Grigoris 1961-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A Horn logic approach to modularity in knowledge based systems

    A Horn logic approach to modularity in knowledge based systems by Antoniou, Grigoris 1961-, Sperschneider, Volker

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Theoretische Informatik Vorlesung gehalten im WS 1988/89

    Theoretische Informatik Vorlesung gehalten im WS 1988/89 by Sperschneider, Volker

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    The geography of basic complexity classes in computations by programs over simple data-structures

    The geography of basic complexity classes in computations by programs over simple data-structures by Sperschneider, Volker

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Polynomial space restricted unwind property of an algebra of binary words

    Polynomial space restricted unwind property of an algebra of binary words by Sperschneider, Volker

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Modelltheorie topologischer Vektorräume

    Modelltheorie topologischer Vektorräume by Sperschneider, Volker

    Published 1979
    Thesis Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Modelltheorie topologischer Vektorräume

    Modelltheorie topologischer Vektorräume by Sperschneider, Volker

    Published 1979
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Bioinformatics problem solving paradigms

    Bioinformatics problem solving paradigms by Sperschneider, Volker 1952-

    Published 2008
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  17. 17
    Theoretische Informatik eine problemorientierte Einführung

    Theoretische Informatik eine problemorientierte Einführung by Sperschneider, Volker, Hammer, Barbara 1970-

    Published 1996
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Logic a foundation for computer science

    Logic a foundation for computer science by Sperschneider, Volker, Antoniou, Grigorios

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    On the definition and verification of modular software systems

    On the definition and verification of modular software systems by Antoniou, Grigoris 1961-, Sperschneider, Volker

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Grundlagen der Theoretischen Informatik

    Grundlagen der Theoretischen Informatik by Sperschneider, Volker

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: