LIBROS DEL AUTOR: christoph walther

6 resultados para LIBROS DEL AUTOR: christoph walther

christoph walther Eliminar filtro Quitar filtros
  • Observationes Grammaticae, Quibus Linguae Tamulica Illustratur
    Christoph Theodosius Walther
    Observationes Grammaticae, Quibus Linguae Tamulica Illustratur by Christoph Theodosius Walther is a comprehensive work dedicated to the study and elucidation of the Tamil language through detailed grammatical observations. This book offers valuable insights into the structure and intricacies of Tamil grammar, making it an essential resource for linguists, language students, and...
    Disponible

    17,23 €

  • Tractatus De Ellipsi Hebraica
    Christoph Theodosius Walther / Salomon Glass / Johann Hinrich Pratje
    Tractatus De Ellipsi Hebraica, a scholarly treatise on ellipsis in the Hebrew language, is a valuable resource for students and scholars of Biblical Hebrew and linguistics. Authored by Christoph Theodosius Walther, Johann Hinrich Pratje, and Salomon Glass, this work delves into the intricacies of Hebrew grammar, focusing specifically on the phenomenon of ellipsis-the omission o...
    Disponible

    23,11 €

  • Ellipses Hebraicae, Sive De Vocibus, Quae In Codice Hebraico Per Ellipsin Supprimuntur
    Christian Schöttgen / Christoph Theodosius Walther / Johann C. Schulz
    Ellipses Hebraicae, Sive De Vocibus, Quae In Codice Hebraico Per Ellipsin Supprimuntur explores the phenomenon of ellipsis in the Hebrew language, specifically within the context of the Hebrew Bible. Authored by Christoph Theodosius Walther, Christian Schöttgen, and Johann C. Schulz, this work delves into the words and phrases that are intentionally omitted (suppressed) in the ...
    Disponible

    26,22 €

  • Vom Einquartirungs-recht
    Georg Christoph Walther
    Vom Einquartirungs-recht by Georg Christoph Walther delves into the legal aspects of military quartering, a critical issue in historical military administration. This book provides a detailed exploration of the laws and customs governing the lodging and provisioning of soldiers in civilian homes. Walther’s work offers valuable insights into the legal framework that balanced the...
    Disponible

    29,88 €

  • Semantik und Programmverifikation
    Christoph Walther
    Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik...
    Disponible

    48,19 €

  • Automatisierung von Terminierungsbeweisen
    Christoph Walther
    Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei­ sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei­ chend flir die Terminierung eines Algorithmus ist. In dieser Arbeit wird ein Ver­ fahren vorgestellt, mit dem diese...
    Disponible

    84,84 €