Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Relations and Kleene Algebra in Computer Science

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2012

Abbildungen

black & white illustrations

Herausgeber

Rudolf Berghammer + weitere

Verlag

Springer Berlin

Seitenzahl

402

Maße (L/B/H)

23,7/15,9/2,5 cm

Gewicht

635 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-78912-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2012

Abbildungen

black & white illustrations

Herausgeber

Verlag

Springer Berlin

Seitenzahl

402

Maße (L/B/H)

23,7/15,9/2,5 cm

Gewicht

635 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-78912-3

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Relations and Kleene Algebra in Computer Science
  • Formal Methods and the Theory of Social Choice.- Relations Making Their Way from Logics to Mathematics and Applied Sciences.- Boolean Logics with Relations.- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables.- A Relation Algebraic Semantics for a Lazy Functional Logic Language.- Latest News about Demonic Algebra with Domain.- On the Structure of Demonic Refinement Algebras with Enabledness and Termination.- Multi-objective Problems in Terms of Relational Algebra.- The Lattice of Contact Relations on a Boolean Algebra.- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.- Increasing Bisemigroups and Algebraic Routing.- Lazy Relations.- The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy.- The Algebraic Approach II: Dioids, Quantales and Monads.- Automated Reasoning for Hybrid Systems — Two Case Studies —.- Non-termination in Idempotent Semirings.- Formal Concepts in Dedekind Categories.- The Structure of the One-Generated Free Domain Semiring.- Determinisation of Relational Substitutions in Ordered Categories with Domain.- Boolean Algebras and Stone Maps in Schröder Categories.- Cardinality in Allegories.- Solving Linear Equations in *-continuous Action Lattices.- Reactive Probabilistic Programs and Refinement Algebra.- Knowledge and Games in Modal Semirings.- Theorem Proving Modulo Based on Boolean Equational Procedures.- Rectangles, Fringes, and Inverses.- An Ordered Category of Processes.- Automatic Proof Generation in Kleene Algebra.