Treffer 1 – 14 von 14 für Suche 'Schmidt, David A.', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    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 von Schmidt, David A.

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Denotational semantics a methodology for language development

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Denotational semantics a methodology for language development

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

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Natural deduction theorem proving in set theory

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Denotational semantics as a programming language

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

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Communications in mult-antenna interference networks

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

    Veröffentlicht 2011
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Linear MMSE equalizer for frequency selective two-antenna channels

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

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    The structure of typed programming languages

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

    Veröffentlicht 1994
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    A programming notation for tactical reasoning

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Detecting global variables in denotational specifications

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

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Compiler generation from lambda calculus definitions of programming languages

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

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Syntactic type checking using Scott retraction maps

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

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: