Condition: New.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 70.75
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 70.75
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Condition: New.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
Language: English
Published by Cambridge University Press CUP, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. 1st edition NO-PA16APR2015-KAP.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 365 pages. 9.90x6.90x1.00 inches. In Stock.
Taschenbuch. Condition: Neu. Relational and Algebraic Methods in Computer Science | 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings | Uli Fahrenberg (u. a.) | Taschenbuch | xvii | Englisch | 2021 | Springer | EAN 9783030887001 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer International Publishing, 2021
ISBN 10: 3030887006 ISBN 13: 9783030887001
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021.The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. 2024. hardcover. . . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. 2024. hardcover. . . . . .
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Cambridge University Press, Cambridge, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Hardcover. Condition: new. Hardcover. Introducing StonePriestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided. This introduction to StonePriestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. This book is for undergraduates, graduate students, and researchers in lattice theory, algebra, topology, logic, and theoretical computer science. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 365 pages. 9.90x6.90x1.00 inches. In Stock. This item is printed on demand.
Language: English
Published by Springer International Publishing Okt 2021, 2021
ISBN 10: 3030887006 ISBN 13: 9783030887001
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021.The 29 papers presented in this book were carefully reviewed and selected from 35 submissions. They deal with the development and dissemination of relation algebras, Kleene algebras, and similar algebraic formalisms. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond. 520 pp. Englisch.
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2021
ISBN 10: 3030887006 ISBN 13: 9783030887001
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021. They deal with the development and disseminati.
Condition: New. Print on Demand.
Condition: New. PRINT ON DEMAND.
Language: English
Published by Cambridge University Press, Cambridge, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: CitiRetail, Stevenage, United Kingdom
Hardcover. Condition: new. Hardcover. Introducing StonePriestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided. This introduction to StonePriestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. This book is for undergraduates, graduate students, and researchers in lattice theory, algebra, topology, logic, and theoretical computer science. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Cambridge University Press, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND.
Language: English
Published by Springer, Springer International Publishing Okt 2021, 2021
ISBN 10: 3030887006 ISBN 13: 9783030887001
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, which took place in Marseille, France, during November 2-5, 2021.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 520 pp. Englisch.
Language: English
Published by Cambridge University Press, Cambridge, 2024
ISBN 10: 1009349694 ISBN 13: 9781009349697
Seller: AussieBookSeller, Truganina, VIC, Australia
Hardcover. Condition: new. Hardcover. Introducing StonePriestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided. This introduction to StonePriestley duality theory brings modern tools in the area together in textbook format for the first time and covers applications to logic and theoretical computer science. This book is for undergraduates, graduate students, and researchers in lattice theory, algebra, topology, logic, and theoretical computer science. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.