Treffer 1 – 20 von 76 für Suche 'Henke, Friedrich', Suchdauer: 0,07s 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
    An introduction to formal specification and verification using EHDM

    An introduction to formal specification and verification using EHDM von Rushby, John, Henke, Friedrich, Owre, Sam

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Getreide

    Getreide von Henke, Friedrich, Bunkelmann, Egon, Pröstler, Viktor

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich Wilhelm von

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Primitiv - rekursive Transformationen

    Primitiv - rekursive Transformationen von Henke, Friedrich Wilhelm von

    Veröffentlicht 1974
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Programmschemata und Familien abstrakter Programme

    Programmschemata und Familien abstrakter Programme von Henke, Friedrich W. von

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Ueber die Desinfection inficirter Hände und die Nothwendigkeit der geburtshilflichen Abstinenz ...

    Ueber die Desinfection inficirter Hände und die Nothwendigkeit der geburtshilflichen Abstinenz ... von Henke, Friedrich 1868-1943

    Veröffentlicht 1893
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Getreide

    Getreide von Henke, Friedrich, Bunkelmann, Egon, Pröstler, Viktor

    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Getreide

    Getreide von Henke, Friedrich, Bunkelmann, Egon, Pröstler, Viktor

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Notes on automating theorem proving in LCF

    Notes on automating theorem proving in LCF von Henke, Friedrich W. von

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Über eine deterministische Theorie formaler Sprachen

    Über eine deterministische Theorie formaler Sprachen von Henke, Friedrich W. von

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Programmschemata und Familien abstrakter Programme

    Programmschemata und Familien abstrakter Programme von Henke, Friedrich W. von

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Erfahrungen mit der Stoßprophylaxe und Stoßtherapie der Rachitis in den Säuglingsfürsorgestellen der Stadt Bonn

    Erfahrungen mit der Stoßprophylaxe und Stoßtherapie der Rachitis in den Säuglingsfürsorgestellen der Stadt Bonn von Henke, Friedrich Karl

    Veröffentlicht 1942
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Formal verification of the interactive convergence clock synchronization algorithm using EHDM

    Formal verification of the interactive convergence clock synchronization algorithm using EHDM von Rushby, John, Henke, Friedrich

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Primitiv-rekursive Transformationen

    Primitiv-rekursive Transformationen von Henke, Friedrich W. von

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Verallgemeinerte primitiv-rekursive Funktionen zwischen freien Monoiden

    Verallgemeinerte primitiv-rekursive Funktionen zwischen freien Monoiden von Henke, Friedrich W. von

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Programmschemata und Familien abstrakter Programme

    Programmschemata und Familien abstrakter Programme von Henke, Friedrich W. von

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Programmschemata und Familien Abstrakter Programme

    Programmschemata und Familien Abstrakter Programme von Henke, Friedrich Wilhelm von

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: