Showing 1 - 14 results of 14 for search 'Schmidt, David A.', 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
    The structure of typed programming languages

    The structure of typed programming languages by Schmidt, David A.

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Denotational semantics a methodology for language development

    Denotational semantics a methodology for language development by Schmidt, David A.

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    A programming notation for tactical reasoning

    A programming notation for tactical reasoning by Schmidt, David A.

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Detecting global variables in denotational specifications

    Detecting global variables in denotational specifications by Schmidt, David A.

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Compiler generation from lambda calculus definitions of programming languages

    Compiler generation from lambda calculus definitions of programming languages by Schmidt, David A.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Syntactic type checking using Scott retraction maps

    Syntactic type checking using Scott retraction maps by Schmidt, David A.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Ianfu, the comfort women of the Japanese Imperial Army of the Pacific War broken silence

    Ianfu, the comfort women of the Japanese Imperial Army of the Pacific War broken silence by Schmidt, David A.

    Published 2000
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Denotational semantics a methodology for language development

    Denotational semantics a methodology for language development by Schmidt, David A.

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Denotational semantics a methodology for language development

    Denotational semantics a methodology for language development by Schmidt, David A.

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Denotational semantics a methodology for language development

    Denotational semantics a methodology for language development by Schmidt, David A.

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Natural deduction theorem proving in set theory

    Natural deduction theorem proving in set theory by Schmidt, David A.

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Denotational semantics as a programming language

    Denotational semantics as a programming language by Schmidt, David A.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Communications in mult-antenna interference networks

    Communications in mult-antenna interference networks by Schmidt, David A.

    Published 2011
    Get full text
    Thesis Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Linear MMSE equalizer for frequency selective two-antenna channels

    Linear MMSE equalizer for frequency selective two-antenna channels by Schmidt, David A., Utschick, Wolfgang

    Published 2007
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: