Domain erlkoenig-blog.de kaufen?
Wir ziehen mit dem Projekt
erlkoenig-blog.de um.
Sind Sie am Kauf der Domain
erlkoenig-blog.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain erlkoenig-blog.de kaufen?
Abstraction, Refinement and Proof for Probabilistic Systems, Fachbücher von Annabelle McIver, Charles Carroll Morgan
Abstraktion, Refinement und Proof für probabilistische Systeme bietet eine umfassende und rigorose Untersuchung der Modellierung und des Nachweises von Computersystemen, die Wahrscheinlichkeiten integrieren. In einer Zeit, in der probabilistische Techniken zunehmend in Computerprogrammen und -systemen eingesetzt werden, um die Effizienz zu steigern und Risiken zu quantifizieren, ist dieses Werk von grosser Bedeutung. Es basiert auf der traditionellen Booleschen Logik für sequenzielle Programme und erweitert diese auf numerische Urteile, was neue Perspektiven in Bereichen wie zufällige Algorithmen und Fehlertoleranz eröffnet. Die Struktur des Buches ist klar gegliedert: Der erste Teil behandelt die probabilistische Programm-Logik mit zahlreichen Beispielen und Fallstudien, während der zweite Teil die detaillierte Semantik darstellt. Der dritte Teil wendet die Ansätze auf fortgeschrittene Themen wie temporale Kalküle und Zwei-Spieler-Spiele an. Dieses Buch ist eine wertvolle Ressource für alle, die sich mit der formalen Analyse probabilistischer Systeme beschäftigen.
160,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Springer Abstraction, Refinement and Proof for Probabilistic Systems (Englisch, Softcover, Annabelle McIver, Charles Carroll Morgan) (55382002)
Springer Abstraction, Refinement and Proof for Probabilistic Systems (Englisch, Softcover, Annabelle McIver, Charles Carroll Morgan) (55382002)
160,49 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Abstraction-Refinement-and-Proof
Top-Angebote
Produkte zum Begriff Abstraction-Refinement-and-Proof:
-
Abstraction Refinement for Large Scale Model Checking, Fachbücher von Fabio Somenzi, Chao Wang, Gary D HachtelAbstraction refinement for large scale model checking bietet eine umfassende Zusammenfassung der neuesten Forschung zu Abstraktionstechniken für das Model Checking grosser digitaler Systeme. Angesichts der Komplexität und Grösse moderner digitaler Systeme sowie der Leistungsfähigkeit aktueller Verifikationsalgorithmen ist die Abstraktion eine entscheidende Lösung für die erfolgreiche Anwendung von Model Checking-Techniken auf industriellen Designs. Das Buch behandelt die jüngsten Entwicklungen in automatischen Abstraktionsverfeinerungstechniken und präsentiert eine Reihe von Algorithmen, die signifikante Verbesserungen im Vergleich zu früheren Ansätzen zeigen. Einige dieser Algorithmen wurden bereits von Unternehmen der elektronischen Designautomatisierung in ihren kommerziellen und internen Verifikationstools übernommen. Die Inhalte sind sowohl für Forscher als auch für Praktiker von Interesse, die sich mit der Verifikation komplexer Systeme befassen.119,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Aureli, Pier Vittorio: Architecture and AbstractionArchitecture and Abstraction , A landmark study of abstraction in architectural history, theory, and practice that challenges our assumptions about the meaning of abstract forms. In this theoretical study of abstraction in architecture—the first of its kind—Pier Vittorio Aureli argues for a reconsideration of abstraction, its meanings, and its sources. Although architects have typically interpreted abstraction in formal terms—the purposeful reduction of the complexities of design to its essentials—Aureli shows that abstraction instead arises from the material conditions of building production. In a lively study informed by Walter Benjamin, Karl Marx, Alfred Sohn-Rethel, and other social theorists, this book presents abstraction in architecture not as an aesthetic tendency but as a movement that arises from modern divisions of labor and consequent social asymmetries. These divisions were anticipated by the architecture of antiquity, which established a distinction between manual and intellectual labor, and placed the former in service to the latter. Further abstractions arose as geometry, used for measuring territories, became the intermediary between land and money and eventually produced the logic of the grid. In our own time, architectural abstraction serves the logic of capitalism and embraces the premise that all things can be exchanged—even experience itself is a commodity. To resist this turn, Aureli seeks a critique of architecture that begins not by scaling philosophical heights, but by standing at the ground level of material practice. , > , Erscheinungsjahr: 20231107, Produktform: Kartoniert, Titel der Reihe: Writing Architecture##, Autoren: Aureli, Pier Vittorio, Seitenzahl/Blattzahl: 286, Abbildungen: 60 b&w illustrations, Themenüberschrift: ARCHITECTURE / History / Modern (late 19th Century to 1945), Keyword: architecture;architecture books;coffee table books;architect;history;history books;frank lloyd wright;coffee table decor;mid century modern;art deco;mid century;modern home;architecture gifts;architect gifts;architecture book;architecture coffee table books;modern architecture;history of architecture;modernism;modern retro home;essays;philosophy;art;classic;european history;art history;design;culture;economics;society;marxism;language;sociology;essay;psychology;aesthetics;collection;arts, Fachschema: Architektur - Baukunst~Bau / Baukunst~Entwurf / Architektur~Englische Bücher / Kunst, Architektur, Fotografie~Architektur / Geschichte, Regionen, Fachkategorie: Geschichte der Architektur, Warengruppe: TB/Architektur, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 135, Breite: 201, Höhe: 27, Gewicht: 560, Produktform: Klappenbroschur, Genre: Importe,27,88 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Abstraction-Refinement-and-Proof:
-
Abstraction, Refinement and Proof for Probabilistic Systems, Fachbücher von Annabelle McIver, Charles Carroll MorganAbstraktion, Refinement und Proof für probabilistische Systeme bietet eine umfassende und rigorose Untersuchung der Modellierung und des Nachweises von Computersystemen, die Wahrscheinlichkeiten integrieren. In einer Zeit, in der probabilistische Techniken zunehmend in Computerprogrammen und -systemen eingesetzt werden, um die Effizienz zu steigern und Risiken zu quantifizieren, ist dieses Werk von grosser Bedeutung. Es basiert auf der traditionellen Booleschen Logik für sequenzielle Programme und erweitert diese auf numerische Urteile, was neue Perspektiven in Bereichen wie zufällige Algorithmen und Fehlertoleranz eröffnet. Die Struktur des Buches ist klar gegliedert: Der erste Teil behandelt die probabilistische Programm-Logik mit zahlreichen Beispielen und Fallstudien, während der zweite Teil die detaillierte Semantik darstellt. Der dritte Teil wendet die Ansätze auf fortgeschrittene Themen wie temporale Kalküle und Zwei-Spieler-Spiele an. Dieses Buch ist eine wertvolle Ressource für alle, die sich mit der formalen Analyse probabilistischer Systeme beschäftigen.160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Springer Abstraction, Refinement and Proof for Probabilistic Systems (Englisch, Softcover, Annabelle McIver, Charles Carroll Morgan) (55382002)Springer Abstraction, Refinement and Proof for Probabilistic Systems (Englisch, Softcover, Annabelle McIver, Charles Carroll Morgan) (55382002)160,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Abstraction Refinement for Large Scale Model Checking, Fachbücher von Fabio Somenzi, Chao Wang, Gary D HachtelAbstraction refinement for large scale model checking bietet eine umfassende Zusammenfassung der neuesten Forschung zu Abstraktionstechniken für das Model Checking grosser digitaler Systeme. Angesichts der Komplexität und Grösse moderner digitaler Systeme sowie der Leistungsfähigkeit aktueller Verifikationsalgorithmen ist die Abstraktion eine entscheidende Lösung für die erfolgreiche Anwendung von Model Checking-Techniken auf industriellen Designs. Das Buch behandelt die jüngsten Entwicklungen in automatischen Abstraktionsverfeinerungstechniken und präsentiert eine Reihe von Algorithmen, die signifikante Verbesserungen im Vergleich zu früheren Ansätzen zeigen. Einige dieser Algorithmen wurden bereits von Unternehmen der elektronischen Designautomatisierung in ihren kommerziellen und internen Verifikationstools übernommen. Die Inhalte sind sowohl für Forscher als auch für Praktiker von Interesse, die sich mit der Verifikation komplexer Systeme befassen.119,99 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Aureli, Pier Vittorio: Architecture and AbstractionArchitecture and Abstraction , A landmark study of abstraction in architectural history, theory, and practice that challenges our assumptions about the meaning of abstract forms. In this theoretical study of abstraction in architecture—the first of its kind—Pier Vittorio Aureli argues for a reconsideration of abstraction, its meanings, and its sources. Although architects have typically interpreted abstraction in formal terms—the purposeful reduction of the complexities of design to its essentials—Aureli shows that abstraction instead arises from the material conditions of building production. In a lively study informed by Walter Benjamin, Karl Marx, Alfred Sohn-Rethel, and other social theorists, this book presents abstraction in architecture not as an aesthetic tendency but as a movement that arises from modern divisions of labor and consequent social asymmetries. These divisions were anticipated by the architecture of antiquity, which established a distinction between manual and intellectual labor, and placed the former in service to the latter. Further abstractions arose as geometry, used for measuring territories, became the intermediary between land and money and eventually produced the logic of the grid. In our own time, architectural abstraction serves the logic of capitalism and embraces the premise that all things can be exchanged—even experience itself is a commodity. To resist this turn, Aureli seeks a critique of architecture that begins not by scaling philosophical heights, but by standing at the ground level of material practice. , > , Erscheinungsjahr: 20231107, Produktform: Kartoniert, Titel der Reihe: Writing Architecture##, Autoren: Aureli, Pier Vittorio, Seitenzahl/Blattzahl: 286, Abbildungen: 60 b&w illustrations, Themenüberschrift: ARCHITECTURE / History / Modern (late 19th Century to 1945), Keyword: architecture;architecture books;coffee table books;architect;history;history books;frank lloyd wright;coffee table decor;mid century modern;art deco;mid century;modern home;architecture gifts;architect gifts;architecture book;architecture coffee table books;modern architecture;history of architecture;modernism;modern retro home;essays;philosophy;art;classic;european history;art history;design;culture;economics;society;marxism;language;sociology;essay;psychology;aesthetics;collection;arts, Fachschema: Architektur - Baukunst~Bau / Baukunst~Entwurf / Architektur~Englische Bücher / Kunst, Architektur, Fotografie~Architektur / Geschichte, Regionen, Fachkategorie: Geschichte der Architektur, Warengruppe: TB/Architektur, UNSPSC: 49019900, Warenverzeichnis für die Außenhandelsstatistik: 49019900, Länge: 135, Breite: 201, Höhe: 27, Gewicht: 560, Produktform: Klappenbroschur, Genre: Importe,27,88 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Abstraction-Refinement-and-Proof
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.