Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Bedlewo, Poland, April 7-10, 2026, Proceedings
Published on 2. April 2026
Book
Paperback/Softback
XX, 335 pages
978-3-032-22468-2 (ISBN)
Description
This book constitutes the refereed proceedings of the 22nd International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2026, held in Bedlewo, Poland, during April 7-10, 2026.
The 18 full papers included in this book were carefully reviewed and selected from 23 submissions. RAMiCS 2026 topics range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.solutions.
More details
Series
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
30 s/w Abbildungen, 1 farbige Abbildung
XX, 335 p. 31 illus., 1 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 20 mm
Weight
540 gr
ISBN-13
978-3-032-22468-2 (9783032224682)
DOI
10.1007/978-3-032-22469-9
Schweitzer Classification
Other editions
Additional editions
Uli Fahrenberg | Wesley Fussner | Luigi Santocanale
Relational and Algebraic Methods in Computer Science
22nd International Conference, RAMiCS 2026, Bedlewo, Poland, April 7-10, 2026, Proceedings
E-Book
04/2026
Springer
€85.59
Available for download
Content
.- Structural Testing with Homomorphic Encryption. .- Compositional Control-Driven Boolean Circuits..- Structural Testing with Homomorphic Encryption. .- Compositional Control-Driven Boolean Circuits.