Foto 1 di 1
Galleria
Foto 1 di 1
Ne hai uno da vendere?
Relations and Kleene Algebra in Computer Science : 9th International Conferen...
US $72,49
CircaEUR 62,65
Condizione:
Nuovo
Libro nuovo, intatto e non letto, in perfette condizioni, senza pagine mancanti o danneggiate. Per maggiori dettagli, consulta l'inserzione del venditore.
3 disponibili
- Compralo SubitoRelations 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.
Spedizione:
Gratis USPS Media MailTM.
Oggetto che si trova a: Jessup, Maryland, Stati Uniti
Consegna:
Consegna prevista tra il gio 23 ott e il mer 29 ott a 94104
Restituzioni:
Restituzioni entro 14 giorni. Le spese di spedizione del reso sono a carico dell'acquirente..
Pagamenti:
Fai shopping in tutta sicurezza
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:357348523713
Specifiche dell'oggetto
- Condizione
- Book Title
- Relations and Kleene Algebra in Computer Science : 9th Internatio
- ISBN
- 9783540378730
Informazioni su questo prodotto
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
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
Informazioni su questo venditore
Great Book Prices Store
97,5% di Feedback positivi•1,4 milioni oggetti venduti
Registrato come venditore professionale
Feedback sul venditore (398.696)
- e***r (2724)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoAAA+++; 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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoAAA+++; 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... (N° 356784261477)
- 1***n (274)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoReceived 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.
Vedi altro:
- Libri e riviste di narrativa, della science fiction in inglese,
- Libri e riviste di narrativa tascabili, della science fiction,
- Libri e riviste di narrativa tascabili, della science fiction in italiano,
- Libri e riviste di narrativa copertine rigide, della science fiction,
- Libri e riviste di narrativa Autore Isaac Asimov, della science fiction,
- Libri e riviste di narrativa copertine rigide, della science fiction in italiano,
- Libri e riviste di narrativa copertine rigide prima edizione, della science fiction
Great Book Prices Store
97,5% di Feedback positivi•1,4 milioni oggetti venduti
Registrato come venditore professionale
Feedback sul venditore (398.696)
- e***r (2724)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoAAA+++; 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)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoAAA+++; 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... (N° 356784261477)
- 1***n (274)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoReceived 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.