Angebote zu "Formal" (508 Treffer)

Kategorien

Shops

Modellierung
43,20 € *
ggf. zzgl. Versand

Die Modellierung ist eine typische Arbeitsmethode für das Fach Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben. Erst danach werden sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert.Dieses Buch hilft Ihnen, seien Sie Student oder Praktiker im Fach Informatik oder Wirtschaftsinformatik, die Grundlagen der Modellierung zu beherrschen.Ideal für Einführungsvorlesungen zur Modellierung und für die Bachelorstudiengänge der Informatik und verwandter Fächer.Wie? Anhand von vielen praktischen Beispielen lernen Sie die grundlegenden Methoden und Kalküle zur Modellierung kennen. Zur Anwendung der Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung.Aus dem Inhalt:- Systematische Darstellung von Modellierungstechniken und -kalkülen- Modellierung mit Wertebereichen- Terme und Algebren- Logik- Modellierung mit Graphen- Modellierung von Strukturen- Modellierung von Abläufen- Fallstudien

Anbieter: Dodax AT
Stand: 28.01.2020
Zum Angebot
Randomisierte Algorithmen
44,99 € *
ggf. zzgl. Versand

Zufall ist ein erfolgreiches Mittel für Entwurf und Entwicklung vieler Systeme in Informatik und Technik. Zufallsgesteuerte Algorithmen sind oft effizienter, einfacher, preiswerter und überraschenderweise auch zuverlässiger als die besten deterministischen Programme. Warum ist die Zufallssteuerung so erfolgreich und wie entwirft man randomisierte Systeme? Einfach, intuitiv und trotzdem formal präzise gibt dieses Buch dem Leser einen Einstieg in die wunderbare Welt zufallsgesteuerter Algorithmen.

Anbieter: Dodax
Stand: 28.01.2020
Zum Angebot
Randomisierte Algorithmen
46,26 € *
ggf. zzgl. Versand

Zufall ist ein erfolgreiches Mittel für Entwurf und Entwicklung vieler Systeme in Informatik und Technik. Zufallsgesteuerte Algorithmen sind oft effizienter, einfacher, preiswerter und überraschenderweise auch zuverlässiger als die besten deterministischen Programme. Warum ist die Zufallssteuerung so erfolgreich und wie entwirft man randomisierte Systeme? Einfach, intuitiv und trotzdem formal präzise gibt dieses Buch dem Leser einen Einstieg in die wunderbare Welt zufallsgesteuerter Algorithmen.

Anbieter: Dodax AT
Stand: 28.01.2020
Zum Angebot
Petrinetze
37,99 € *
ggf. zzgl. Versand

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.Die Inhalte werden äußerst anschaulich dargestellt, nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt, für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.ZielgruppeStudierende der Informatik an Universitäten und Fachhochschulen.

Anbieter: Dodax
Stand: 28.01.2020
Zum Angebot
Petrinetze
39,05 € *
ggf. zzgl. Versand

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.Die Inhalte werden äußerst anschaulich dargestellt, nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt, für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.ZielgruppeStudierende der Informatik an Universitäten und Fachhochschulen.

Anbieter: Dodax AT
Stand: 28.01.2020
Zum Angebot
Das Modifikationsproblem der Aussagenlogik
39,90 € *
ggf. zzgl. Versand

Diese Arbeit beschäftigt sich mit dem Erfüllbarkeitsproblem der Aussagenlogik, also der Frage, ob es zu einem gegebenen booleschen Ausdruck in konjunktiver Normalform eine erfüllende Belegung gibt. In den ersten Kapiteln wird dieses Problem zunächst formal definiert und seine Wichtigkeit für die Informatik dargestellt, danach werden einige der bekannteren Lösungsverfahren hierfür beschrieben. Im Anschluss daran werden die Modifikation als eine neue syntaktische Operation, die Erfüllbarkeitsform als eine neue Normalform für boolesche Ausdrücke und das Modifikationsproblem selbst eingeführt. Zuletzt wird der Frage nach Lösungen für letzteres Problem und Auswirkungen auf bestehende Verfahren für das Erfüllbarkeitsproblem nachgegangen.

Anbieter: Dodax
Stand: 28.01.2020
Zum Angebot
Das Modifikationsproblem der Aussagenlogik
41,10 € *
ggf. zzgl. Versand

Diese Arbeit beschäftigt sich mit dem Erfüllbarkeitsproblem der Aussagenlogik, also der Frage, ob es zu einem gegebenen booleschen Ausdruck in konjunktiver Normalform eine erfüllende Belegung gibt. In den ersten Kapiteln wird dieses Problem zunächst formal definiert und seine Wichtigkeit für die Informatik dargestellt, danach werden einige der bekannteren Lösungsverfahren hierfür beschrieben. Im Anschluss daran werden die Modifikation als eine neue syntaktische Operation, die Erfüllbarkeitsform als eine neue Normalform für boolesche Ausdrücke und das Modifikationsproblem selbst eingeführt. Zuletzt wird der Frage nach Lösungen für letzteres Problem und Auswirkungen auf bestehende Verfahren für das Erfüllbarkeitsproblem nachgegangen.

Anbieter: Dodax AT
Stand: 28.01.2020
Zum Angebot
Formal Methods and Software Engineering
78,59 € *
ggf. zzgl. Versand

Erscheinungsdatum: 06.10.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Software Engineering, Titelzusatz: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, Auflage: 1. Auflage von 2019 // 1st ed. 2019, Redaktion: Ait-Ameur, Yamine // Qin, Shengchao, Verlag: Springer International Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 552, Informationen: Paperback, Gewicht: 826 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 28.01.2020
Zum Angebot
Rosa, João Luís: Essentials of Formal Languages...
71,90 € *
ggf. zzgl. Versand

Erscheinungsdatum: 23.09.2019, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Essentials of Formal Languages and Automata, Autor: Rosa, João Luís, Verlag: LAP Lambert Academic Publishing, Sprache: Englisch, Rubrik: Informatik, Seiten: 172, Informationen: Paperback, Gewicht: 275 gr, Verkäufer: averdo

Anbieter: averdo
Stand: 28.01.2020
Zum Angebot