Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Relational and Kleene-Algebraic Methods in Computer Science

Name: Relational and Kleene-Algebraic Methods in Computer Science
Brand: Springer Nature B.V.
SKU: 9783662211281
Price: 55.21 EUR
Availability: InStock

7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pap

Autor: R. Berghammer, Bernhard Möller, Georg Struth

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer Nature B.V.

Dostupnosť: Skladom u dodávateľa

Odosielame za 10-18 dní

55.21 €

Invited Papers.- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods...

Informácie o knihe

Autor

R. Berghammer, Bernhard Möller, Georg Struth

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

296

EAN

9783662211281

Enbook ID

43423557

Vydavateľ

Springer Nature B.V.

Hmotnosť

419

Rozmery

156 x 234

Kompletný popis

Invited Papers.- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods.- Kleene Algebra with Relations.- Contributed Papers.- Integrating Model Checking and Theorem Proving for Relational Reasoning.- Fixed-Point Characterisation of Winning Strategies in Impartial Games.- Checking the Shape Safety of Pointer Manipulations.- Applying Relational Algebra in 3D Graphical Software Design.- Investigating Discrete Controllability with Kleene Algebra.- Tracing Relations Probabilistically.- Pointer Kleene Algebra.- Kleene Modules.- The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.- Towards a Formalisation of Relational Database Theory in Constructive Type Theory.- SCAN Is Complete for All Sahlqvist Formulae.- Relations and GUHA-Style Data Mining II.- A Note on Complex Algebras of Semigroups.- Calculational Relation-Algebraic Proofs in Isabelle/Isar.- A Calculus of Typed Relations.- Greedy-Like Algorithms in Modal Kleene Algebra.- Rasiowa-Sikorski Style Relational Elementary Set Theory.- Relational Data Analysis.- Two Proof Systems for Peirce Algebras.- An Institution Isomorphism for Planar Graph Colouring.- Decomposing Relations into Orderings.

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Relational and Kleene-Algebraic Methods in Computer Science

7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Pap

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Challenge of Competence

Quest of the Holy Grail

Hand Book for Lake Memphremagog

Law of Attraction

Emergent Computation

The Concept of Investment in ICSID Arbitration (Hardback)

The Life Audit

The English Convents in Exile, 1600?1800

Bird Feathers & Eggs of the Northwest

Own the Room

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

BABADADA, bosanski jezik - Bahasa Indonesia, slikovni rječnik - kamus gambar

Förderzeit im Kindergarten - Konzentrationsübungen in der Vorschule

Como para chuparse los dedos