Angebote zu "Verifikation" (6 Treffer)

Kategorien

Shops

Termersetzungssysteme
44,99 € *
ggf. zzgl. Versand

Termersetzungssysteme sind ein mächtiges Werkzeug mit Einsatzmöglichkeiten in vielen Bereichen der Informatik wie z. B. automatisches Beweisen, algebraische Spezifikationen, funktionales Programmieren, Computeralgebra und Verifikation von Soft- und Hardware. Im Mittelpunkt des Buches, das sich vor allem an Informatiker und Mathematiker richtet, steht die universelle Datenstruktur Term. Mit Termen, Termgleichungen und Termregeln lassen sich sehr elegant Sachverhalte aus den unterschiedlichsten Anwendungsgebieten spezifizieren, berechnen und beweisen. So werden in diesem Buch insbesondere verschiedene Verfahren zum maschinellen Beweisen von Gleichungen entwickelt: Unifikation, Knuth-Bendix-Vervollständigung und automatische Induktionsbeweiser. Ein wichtiges Paradigma, das sich durch alle Ebenen des Buches zieht, ist das regelbasierte Rechnen. Es begegnet uns sowohl bei der Darstellung der Algorithmen als auch bei der Anwendung von Termersetzungssystemen. Neben der Vermittlung der theoretischen Grundlagen der vorgestellten Verfahren wird auch gezielt auf Methoden zu deren Implementierung und Möglichkeiten zu deren Anwendung eingegangen.

Anbieter: Dodax
Stand: 31.05.2020
Zum Angebot
Verfassungskonformer Einsatz rechnergesteuerter...
67,90 CHF *
ggf. zzgl. Versand

Elektronische Wahlgeräte bei Bundestagswahlen: Ist dies verfassungskonform möglich? Die beiden Verfasser, der eine Diplom-Informatiker und Rechtsanwalt im Informationstechnologierecht, der andere Fachanwalt für Informationstechnologierecht sowie für Urheber- und Medienrecht und mit Programmiererfahrung, beantworten die Frage auf der Grundlage einer umfassenden Aufbereitung der Literatur und Rechtsprechung, konkretisieren die verfassungsrechtlichen Anforderungen in einem anschaulichen, auf der Wahlgeräte-Entscheidung des Bundesverfassungsgerichts beruhenden Modell und schlagen selbst zwei verfassungskonforme elektronische Wahlverfahren vor. Um der Wahlgeräteelektronik nicht vertrauen zu müssen, setzen die Verfasser Ende-zu-Ende-Verifikation sowie Code-Voting ein. Jeder Wähler kann so selbst prüfen, ob seine Stimme wie gewollt in das Wahlergebnis eingeflossen ist, und das Wahlergebnis selbst nachberechnen – ohne auf die geheime Wahl verzichten zu müssen. Die Grundlage bildet eine ausführliche Darstellung der antiken Wahlverfahren und der modernen Wahlverfahrensideen sowie des aktuellen Bundestagswahlverfahrens einschliesslich ihrer technischen Grundlagen und Schwachstellen.

Anbieter: Orell Fuessli CH
Stand: 31.05.2020
Zum Angebot
Verfassungskonformer Einsatz rechnergesteuerter...
27,00 CHF *
ggf. zzgl. Versand

Elektronische Wahlgeräte bei Bundestagswahlen: Ist dies verfassungskonform möglich? Die beiden Verfasser, der eine Diplom-Informatiker und Rechtsanwalt im Informationstechnologierecht, der andere Fachanwalt für Informationstechnologierecht sowie für Urheber- und Medienrecht und mit Programmiererfahrung, beantworten die Frage auf der Grundlage einer umfassenden Aufbereitung der Literatur und Rechtsprechung, konkretisieren die verfassungsrechtlichen Anforderungen in einem anschaulichen, auf der Wahlgeräte-Entscheidung des Bundesverfassungsgerichts beruhenden Modell und schlagen selbst zwei verfassungskonforme elektronische Wahlverfahren vor. Um der Wahlgeräteelektronik nicht vertrauen zu müssen, setzen die Verfasser Ende-zu-Ende-Verifikation sowie Code-Voting ein. Jeder Wähler kann so selbst prüfen, ob seine Stimme wie gewollt in das Wahlergebnis eingeflossen ist, und das Wahlergebnis selbst nachberechnen - ohne auf die geheime Wahl verzichten zu müssen. Die Grundlage bildet eine ausführliche Darstellung der antiken Wahlverfahren und der modernen Wahlverfahrensideen sowie des aktuellen Bundestagswahlverfahrens einschliesslich ihrer technischen Grundlagen und Schwachstellen.

Anbieter: Orell Fuessli CH
Stand: 31.05.2020
Zum Angebot
Verfassungskonformer Einsatz rechnergesteuerter...
50,40 € *
ggf. zzgl. Versand

Elektronische Wahlgeräte bei Bundestagswahlen: Ist dies verfassungskonform möglich? Die beiden Verfasser, der eine Diplom-Informatiker und Rechtsanwalt im Informationstechnologierecht, der andere Fachanwalt für Informationstechnologierecht sowie für Urheber- und Medienrecht und mit Programmiererfahrung, beantworten die Frage auf der Grundlage einer umfassenden Aufbereitung der Literatur und Rechtsprechung, konkretisieren die verfassungsrechtlichen Anforderungen in einem anschaulichen, auf der Wahlgeräte-Entscheidung des Bundesverfassungsgerichts beruhenden Modell und schlagen selbst zwei verfassungskonforme elektronische Wahlverfahren vor. Um der Wahlgeräteelektronik nicht vertrauen zu müssen, setzen die Verfasser Ende-zu-Ende-Verifikation sowie Code-Voting ein. Jeder Wähler kann so selbst prüfen, ob seine Stimme wie gewollt in das Wahlergebnis eingeflossen ist, und das Wahlergebnis selbst nachberechnen – ohne auf die geheime Wahl verzichten zu müssen. Die Grundlage bildet eine ausführliche Darstellung der antiken Wahlverfahren und der modernen Wahlverfahrensideen sowie des aktuellen Bundestagswahlverfahrens einschließlich ihrer technischen Grundlagen und Schwachstellen.

Anbieter: Thalia AT
Stand: 31.05.2020
Zum Angebot
Verfassungskonformer Einsatz rechnergesteuerter...
25,00 € *
ggf. zzgl. Versand

Elektronische Wahlgeräte bei Bundestagswahlen: Ist dies verfassungskonform möglich? Die beiden Verfasser, der eine Diplom-Informatiker und Rechtsanwalt im Informationstechnologierecht, der andere Fachanwalt für Informationstechnologierecht sowie für Urheber- und Medienrecht und mit Programmiererfahrung, beantworten die Frage auf der Grundlage einer umfassenden Aufbereitung der Literatur und Rechtsprechung, konkretisieren die verfassungsrechtlichen Anforderungen in einem anschaulichen, auf der Wahlgeräte-Entscheidung des Bundesverfassungsgerichts beruhenden Modell und schlagen selbst zwei verfassungskonforme elektronische Wahlverfahren vor. Um der Wahlgeräteelektronik nicht vertrauen zu müssen, setzen die Verfasser Ende-zu-Ende-Verifikation sowie Code-Voting ein. Jeder Wähler kann so selbst prüfen, ob seine Stimme wie gewollt in das Wahlergebnis eingeflossen ist, und das Wahlergebnis selbst nachberechnen - ohne auf die geheime Wahl verzichten zu müssen. Die Grundlage bildet eine ausführliche Darstellung der antiken Wahlverfahren und der modernen Wahlverfahrensideen sowie des aktuellen Bundestagswahlverfahrens einschließlich ihrer technischen Grundlagen und Schwachstellen.

Anbieter: Thalia AT
Stand: 31.05.2020
Zum Angebot