7 Bücher 

Wissenschaftliche LiteraturBeweisInformatik

Eine Auswahl unserer Fachbücher

Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.








Die Bedeutung des Datenschutzrechts bei Beweisverboten in Zivil- und Arbeitsgerichtsbarkeit (Doktorarbeit)Zum Shop

Die Bedeutung des Datenschutzrechts bei Beweisverboten in Zivil- und Arbeitsgerichtsbarkeit

Eine Darstellung anhand der Rechtsprechung zu „Dash-Cams“

Beiträge zu Datenschutz und Informationsfreiheit

In den letzten Jahren ist verstärkt diskutiert worden, inwieweit Zivil- und Arbeitsgerichte rechtswidrig erlangte Beweismittel zur Grundlage ihrer Entscheidung machen dürfen. Besonders umstritten ist dabei die Fallgruppe der Dash-Cams gewesen – kleine Kameras im Inneren von Fahrzeugen, die laufend ihre Umgebung…

AbwägungslösungArbeitsgerichtBeweisverboteBeweisverwertungsverboteBundesdatenschutzgesetz BDSGDash-CamsDatenschutzDatenschutz-GrundverordnungDatenschutzrechtDSGVORechtswidrige BeweisgewinnungSachvortragsverwertungsverboteZivilprozessrecht
Der Anscheinsbeweis im elektronischen Rechtsverkehr (Dissertation)Zum Shop

Der Anscheinsbeweis im elektronischen Rechtsverkehr

Entstehung – Voraussetzungen – Anwendbarkeit

Recht der Neuen Medien

Der Autor untersucht in seinem Werk, ob sich die Grundsätze des Anscheinsbeweises auf den Bereich des elektronischen Rechtsverkehrs übertragen lassen. Hierzu stellt er zunächst sowohl die Entstehung als auch die rechtliche Einordnung und die Voraussetzungen des Anscheinsbeweises eingehend dar. Im Kern geht er…

AnscheinsbeweisAuthentifizierungBankrechtBeweislastBeweiswürdigungE-MailEC-KarteElektronischer RechtsverkehrGeldautomatOnlinebankingPhishingRechtswissenschaftSicherheitSystemsicherheit
Der Beweis im elektronischen Rechtsverkehr (Dissertation)Zum Shop

Der Beweis im elektronischen Rechtsverkehr

Recht der Neuen Medien

Diese Studie befasst sich mit Fragen des Beweiswerts elektronischer Dokumente. Es wird gezeigt, wie der Beweis mit elektronischen Dokumenten geführt und welcher Beweiswert den unterschiedlichen technischen Lösungen beigemessen werden kann. Dabei steht im Vordergrund, wie eine interessengerechte Verteilung der…

Elektronischer RechtsverkehrInternetInternethaftungJustizkommunikationsgesetzKommunikationPhishingRechtswissenschaftSignaturgesetzSignatursmissbrauch
Willenserklärungen im Internet (Dissertation)Zum Shop

Willenserklärungen im Internet

Rechtssicherheit durch elektronische Signaturen sowie Anpassung der Formvorschriften und des Beweisrechts

Recht der Neuen Medien

Die Verlagerung des Geschäftsverkehrs in das Internet macht es erforderlich, den Austausch elektronischer Willenserklärungen über das Internet zu ermöglichen, Behinderungen in Bezug auf Formvorschriften bei der Abgabe von Willenserklärungen und beim Zustandekommen von Verträgen auszuschließen sowie Rechtssicherheit…

Elektronische SignaturElektronische WillenserklärungenInternetInternetsicherheitMedienrechtRechtswissenschaft§ 126a BGB§ 126b BGB§ 292a ZPO
Analogieschlüsse beim automatischen Beweisen (Forschungsarbeit)Zum Shop

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen…

ÄhnlichkeitsfunktionAlgorithmenAnalogieautomatisches BeweisenBewertungsfunktionInformatikKlassifikationKonnektions-MethodePrädikatenlogik
Positive/Negative-Conditional Equations (Forschungsarbeit)Zum Shop

Positive/Negative-Conditional Equations

A Constructor-Based Framework for Specification and Inductive Theorem Proving

Forschungsergebnisse zur Informatik

Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale…

algebraische Spezifikationinduktive GültigkeitInformatiknegativ-bedingte Gleichungenpositiv-bedingteTermbesetzungTheorembeweistheorem provingvollständige Induktion
Refinements in HOLCF: Implementation of Interactive Systems (Forschungsarbeit)Zum Shop

Refinements in HOLCF: Implementation of Interactive Systems

Forschungsergebnisse zur Informatik

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer…

Beweissystem IsabelleHOLCFInformatikKorrektheitQuotientenRefinementSubtypenVerfeinerungVerifikation