Christoph Walther – författare
Visar alla böcker från författaren Christoph Walther. Handla med fri frakt och snabb leverans.
12 produkter
Mittelniederdeutsches Handwörterbuch
Nach Dem Tode Des Verfassers Vollendet Von Christoph Walther
Av August Lübben, Christoph Walther
Inbunden, 2022
514 kr
Lägg i varukorg
Mittelniederdeutsches Handwörterbuch
Nach Dem Tode Des Verfassers Vollendet Von Christoph Walther
Av August Lübben, Christoph Walther
Häftad, 2022
396 kr
Lägg i varukorg
Many-Sorted Calculus Based on Resolution and Paramodulation
E-bok, 2014
359 kr
Lägg i varukorg
A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving. This book considers some first-order calculus that defines how theorems from given hypotheses …
Semantik und Programmverifikation
Häftad, 2001
393 kr
Lägg i varukorg
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 …
Soziale Arbeit in der Psychiatrie. Lehrbuch
Av Jeannette Bischkopf, Daniel Deimel m. fl.
Inbunden, 2022
451 kr
Lägg i varukorg
Soziale Arbeit in Psychiatrie und Suchthilfe. Fallbuch
Av Jeannette Bischkopf, Daniel Deimel m. fl.
Häftad, 2023
364 kr
Lägg i varukorg
Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit
Av Christoph Walther, Ingo Palsherm
Häftad, 2023
292 kr
Lägg i varukorg
Mittelniederdeutsches Handwörterbuch
Av August Lübben, Christoph Walther
Inbunden, 2022
514 kr
Tillfälligt slut
Mittelniederdeutsches Handwörterbuch
Av August Lübben, Christoph Walther
Häftad, 2022
388 kr
Tillfälligt slut
