Domain kantenflimmern.de kaufen?
Wir ziehen mit dem Projekt
kantenflimmern.de um.
Sind Sie am Kauf der Domain
kantenflimmern.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain kantenflimmern.de kaufen?
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
Springer Abstraction Refinement for Large Scale Model Checking (Englisch, Softcover, Chao Wang, Fabio Somenzi, Gary D Hachtel) (55581363)
Springer Abstraction Refinement for Large Scale Model Checking (Englisch, Softcover, Chao Wang, Fabio Somenzi, Gary D Hachtel) (55581363)
119,99 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Springer-Abstraction-Refinement-and
Top-Angebote
Produkte zum Begriff Springer-Abstraction-Refinement-and:
-
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
-
Springer Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups (Englisch, Softcover, Friedrich Wehrung) (55927576)Springer Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups (Englisch, Softcover, Friedrich Wehrung) (55927576)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Architecture and Abstraction, Sachbücher von Pier Vittorio Aureli
Eine wegweisende Studie über Abstraktion in der Architekturgeschichte, -theorie und -praxis, die unsere Annahmen über die Bedeutung abstrakter Formen in Frage stellt. In dieser theoretischen Untersuchung der Abstraktion in der Architektur – der ersten ihrer Art – plädiert Pier Vittorio Aureli für eine Neubewertung der Abstraktion, ihrer Bedeutungen und ihrer Quellen. Obwohl Architekten Abstraktion typischerweise in formalen Begriffen interpretiert haben – als gezielte Reduktion der Komplexität des Designs auf das Wesentliche – zeigt Aureli, dass Abstraktion vielmehr aus den materiellen Bedingungen der Bauproduktion entsteht. In einer lebhaften Studie, die von Walter Benjamin, Karl Marx, Alfred Sohn-Rethel und anderen Sozialtheoretikern inspiriert ist, präsentiert dieses Buch Abstraktion in der Architektur nicht als ästhetische Tendenz, sondern als eine Bewegung, die aus modernen Arbeitsteilungen und den daraus resultierenden sozialen Asymmetrien hervorgeht. Diese Teilungen wurden bereits in der Architektur der Antike antizipiert, die eine Unterscheidung zwischen manueller und intellektueller Arbeit etablierte und erstere in den Dienst letzterer stellte. Weitere Abstraktionen entstanden, als Geometrie, die zur Vermessung von Territorien verwendet wurde, zum Vermittler zwischen Land und Geld wurde und schliesslich die Logik des Rasters hervorbrachte. In unserer eigenen Zeit dient architektonische Abstraktion der Logik des Kapitalismus und akzeptiert die Prämisse, dass alles austauschbar ist – sogar die Erfahrung selbst wird zur Ware. Um diesem Trend entgegenzuwirken, sucht Aureli eine Architekturkritik, die nicht damit beginnt, philosophische Höhen zu erklimmen, sondern auf der Ebene der materiellen Praxis steht.
27,50 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Springer-Abstraction-Refinement-and:
-
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
-
Springer Abstraction Refinement for Large Scale Model Checking (Englisch, Softcover, Chao Wang, Fabio Somenzi, Gary D Hachtel) (55581363)Springer Abstraction Refinement for Large Scale Model Checking (Englisch, Softcover, Chao Wang, Fabio Somenzi, Gary D Hachtel) (55581363)119,99 €*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
Ähnliche Suchbegriffe für Springer-Abstraction-Refinement-and
-
Springer Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups (Englisch, Softcover, Friedrich Wehrung) (55927576)Springer Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups (Englisch, Softcover, Friedrich Wehrung) (55927576)53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Architecture and Abstraction, Sachbücher von Pier Vittorio AureliEine wegweisende Studie über Abstraktion in der Architekturgeschichte, -theorie und -praxis, die unsere Annahmen über die Bedeutung abstrakter Formen in Frage stellt. In dieser theoretischen Untersuchung der Abstraktion in der Architektur – der ersten ihrer Art – plädiert Pier Vittorio Aureli für eine Neubewertung der Abstraktion, ihrer Bedeutungen und ihrer Quellen. Obwohl Architekten Abstraktion typischerweise in formalen Begriffen interpretiert haben – als gezielte Reduktion der Komplexität des Designs auf das Wesentliche – zeigt Aureli, dass Abstraktion vielmehr aus den materiellen Bedingungen der Bauproduktion entsteht. In einer lebhaften Studie, die von Walter Benjamin, Karl Marx, Alfred Sohn-Rethel und anderen Sozialtheoretikern inspiriert ist, präsentiert dieses Buch Abstraktion in der Architektur nicht als ästhetische Tendenz, sondern als eine Bewegung, die aus modernen Arbeitsteilungen und den daraus resultierenden sozialen Asymmetrien hervorgeht. Diese Teilungen wurden bereits in der Architektur der Antike antizipiert, die eine Unterscheidung zwischen manueller und intellektueller Arbeit etablierte und erstere in den Dienst letzterer stellte. Weitere Abstraktionen entstanden, als Geometrie, die zur Vermessung von Territorien verwendet wurde, zum Vermittler zwischen Land und Geld wurde und schliesslich die Logik des Rasters hervorbrachte. In unserer eigenen Zeit dient architektonische Abstraktion der Logik des Kapitalismus und akzeptiert die Prämisse, dass alles austauschbar ist – sogar die Erfahrung selbst wird zur Ware. Um diesem Trend entgegenzuwirken, sucht Aureli eine Architekturkritik, die nicht damit beginnt, philosophische Höhen zu erklimmen, sondern auf der Ebene der materiellen Praxis steht.27,50 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* 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.