Suchergebnisse - Schmidt, David A.

  • Treffer 1 – 14 von 14
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2011
    Online lesen (frei zugänglich)
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 2007
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 2000
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 1986
    Buch


    Gespeichert in:

Suchwerkzeuge: