Bild 1 von 1
Galerie
Bild 1 von 1
Ähnlichen Artikel verkaufen?
Relations and Kleene Algebra in Computer Science : 9th International Conferen...
US $72,49
Ca.CHF 58,29
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
3 verfügbar
- Sofort-KaufenRelations and Kleene Algebra in Computer Science : 9th International Conferen...
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos USPS Media MailTM.
Standort: Jessup, Maryland, USA
Lieferung:
Lieferung zwischen Do, 23. Okt und Mi, 29. Okt nach 94104 bei heutigem Zahlungseingang
Rücknahme:
14 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:357348523713
Artikelmerkmale
- Artikelzustand
- Book Title
- Relations and Kleene Algebra in Computer Science : 9th Internatio
- ISBN
- 9783540378730
Über dieses Produkt
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540378731
ISBN-13
9783540378730
eBay Product ID (ePID)
57015332
Product Key Features
Number of Pages
Xii, 436 Pages
Language
English
Publication Name
Relations and Kleene Algebra in Computer Science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings
Subject
Intelligence (Ai) & Semantics, Computer Science, General, Algebra / General
Publication Year
2006
Type
Textbook
Subject Area
Mathematics, Philosophy, Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
49 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2006-931478
Dewey Edition
22
Series Volume Number
4136
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
512.74
Table Of Content
Weak Kleene Algebra and Computation Trees.- Finite Symmetric Integral Relation Algebras with No 3-Cycles.- Computations and Relational Bundles.- An Axiomatization of Arrays for Kleene Algebra with Tests.- Local Variable Scoping and Kleene Algebra with Tests.- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView.- On the Complexity of the Equational Theory of Relational Action Algebras.- Demonic Algebra with Domain.- Topological Representation of Contact Lattices.- Betweenness and Comparability Obtained from Binary Relations.- Relational Representation Theorems for General Lattices with Negations.- Monotonicity Analysis Can Speed Up Verification.- Max-Plus Convex Geometry.- Lazy Semiring Neighbours and Some Applications.- Omega Algebra, Demonic Refinement Algebra and Commands.- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.- On the Cardinality of Relations.- Evaluating Sets of Search Points Using Relational Algebra.- Algebraization of Hybrid Logic with Binders.- Using Probabilistic Kleene Algebra for Protocol Verification.- Monotone Predicate Transformers as Up-Closed Multirelations.- Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.- Relational Measures and Integration.- A Relational View of Recurrence and Attractors in State Transition Dynamics.- On Two Dually Nondeterministic Refinement Algebras.- On the Fixpoint Theory of Equality and Its Applications.- Monodic Tree Kleene Algebra.- Weak Relational Products.
Synopsis
The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Computer Science, RelMiCS 2006, and the 4th International Workshop on Applications of Kleene Algebras, AKA 2006, held in Manchester, UK in August/September 2006. The 25 revised full papers presented together with two invited papers and the abstract of an invited talk were carefully reviewed and selected from 44 submissions., This volume contains the joint proceedings of the 9th International Conference on Relational Methods in Computer Science (RelMiCS-9) and the 4th Inter- tionalWorkshoponApplicationsofKleeneAlgebra(AKA2006).Thejointevent was hosted by the School of Computer Science at the University of Manchester, UK, from August 29 to September 2, 2006. RelMiCS/AKA is the main forum for therelationalcalculusasa conceptualandmethodologicaltoolandfor topics relatedtoKleenealgebras.Withinthisgeneraltheme,theconferenceseriesis- voted to the theory of relation algebras, Kleene algebras and related formalisms as well as to their diverse applications in software engineering, databases and arti'cial intelligence. This year, special focus was on formal methods, logics of programs and links with neighboring disciplines. This diversity is re'ected by the contributions to this volume. The ProgrammeCommittee selected 25 technical contributions out of 44 i- tial submissions from 14 countries. Each paper was refereed by at least three reviewers on its originality, technical soundness, quality of presentation and r- evance to the conference. The programme included three invited lectures by distinguished experts in the area: "Weak Kleene Algebra and Computation Trees" by Ernie Cohen (Microsoft, USA), "Finite Symmetric Integral Relation Algebras with no 3-Cycles" by Roger Maddux (Iowa State University, USA), and "Computations and Relational Bundles" by Je? Sanders (Oxford, UK). In addition,forthe'rsttime,aPhDprogrammewasco-organizedbyGeorgStruth. It included the invited tutorials "Foundations of Relation Algebra and Kleene Algebra"byPeterJipsen(ChapmanUniversity,USA), and"RelationalMethods for Program Re'nement" by John Derrick (She'eld University, UK).
LC Classification Number
QA267-268.5
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
Great Book Prices Store
97,5% positive Bewertungen•1.4 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (398'693)
- e***r (2724)- Bewertung vom Käufer.Letzter MonatBestätigter KaufAAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Chicago using free shipping USPS Media Mail, Received 06/18; book in Great Condition as Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!
- c***m (445)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufAAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Hawaii using free shipping USPS Ground Mail, Received 06/18; Paperback book in Great Condition as Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!Jesse Livermore's Two Books of Market Wisdom: Reminiscences of a Stock Operat... (Nr. 356784261477)
- 1***n (274)- Bewertung vom Käufer.Letzter MonatBestätigter KaufReceived the Tying Nymphs: Essential Flies and Techniques for the Top Patterns, Hardcover. The book is of high quality. I'm very happy with my purchase and will continue to order from this seller. This seller has the best communications that I have ever seen in a sell. The book is at a great value. The book was as described and in excellent condition. Shipping was very fast. The appearance of the book was excellent. The item was very well packaged. Again, I will continue buy from this sell.
Noch mehr entdecken:
- Algebra Studium und Erwachsenenbildung,
- Lineare Algebra Studium und Erwachsenenbildung,
- Englische Studium und Erwachsenenbildung Algebra,
- Deutsche Studium und Erwachsenenbildung Algebra,
- Science-Fiction-Belletristik Romane,
- Science-Fiction-Belletristik-Jugendliche Romane,
- Bücher über Literatur Science-Fiction-Belletristik,
- Romane & Erzählungen für Kinder & Jugendliche Science-Fiction,
- Isaac-Asimov-Science-Fiction - Belletristik-Bücher,
- Star Trek Science-Fiction-Bücher mit Belletristik-Genre
Great Book Prices Store
97,5% positive Bewertungen•1.4 Mio. Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (398'693)
- e***r (2724)- Bewertung vom Käufer.Letzter MonatBestätigter KaufAAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Chicago using free shipping USPS Media Mail, Received 06/18; book in Great Condition as Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!
- c***m (445)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufAAA+++; Excellent Service; Great Pricing; Fast Delivery-Faster Than Expected to Hawaii using free shipping USPS Ground Mail, Received 06/18; Paperback book in Great Condition as Described ; TLC Packaging; Excellent Seller Communication, Sends updates . Highly Recommended!, Thank you very much!Jesse Livermore's Two Books of Market Wisdom: Reminiscences of a Stock Operat... (Nr. 356784261477)
- 1***n (274)- Bewertung vom Käufer.Letzter MonatBestätigter KaufReceived the Tying Nymphs: Essential Flies and Techniques for the Top Patterns, Hardcover. The book is of high quality. I'm very happy with my purchase and will continue to order from this seller. This seller has the best communications that I have ever seen in a sell. The book is at a great value. The book was as described and in excellent condition. Shipping was very fast. The appearance of the book was excellent. The item was very well packaged. Again, I will continue buy from this sell.