This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 19–22, 2024.The 15 full papers presented in this book were carefully reviewed and selected from 21 submissions. They focus on mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.

Produktinformation

Utgivningsdatum2024-07-30
Mått155 x 235 x 15 mm
Vikt417 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor261
Upplaga2024
FörlagSpringer International Publishing AG
ISBN9783031682780

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Databaser inom Data och it

Tabular and Pretabular Varieties of MTL-algebras.- Cyclic Group Spectra for Some Small Relation Algebras.-Presenting Interval Pomsets with Interfaces.- Irrationality of Process Replication for Higher-Dimensional Automata.- Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation.- On the Structure of Balanced Residuated Partially-ordered Monoids.- Complete Congruences of Completely Distributive Lattices.- A Matrix-oriented View of Bisimulations Quotients over Dioid-labeled Transition Systems.- Restructuring a Concurrent Refinement Algebra.- Frames and Spaces for Distributive Quasi Relation Algebras and Involutive FL-algebras.- Data Migration under a Changing Schema in Ampersand.- Using Matrix Sparsification to Solve Tropical Linear Vector Equations.- Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops.- L-Fuzzy Weak Preference, Preference, and Choice Relations.- Lifting Star-autonomy.

Mer från samma författare

Formal Modeling and Analysis of Timed Systems

Uli Fahrenberg, Stavros Tripakis

Häftad, 2011

749 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Del 14787

Künstliche Intelligenz und Demokratie

Dorothea Winter

Häftad

149 kr

Del 16526

Relational and Algebraic Methods in Computer Science

Uli Fahrenberg, Wesley Fussner, Luigi Santocanale

Häftad, 2026

1 219 kr

Del 13896

Relational and Algebraic Methods in Computer Science

Roland Glück, Luigi Santocanale, Michael Winter

Häftad, 2023

819 kr

Relational and Algebraic Methods in Computer Science

Uli Fahrenberg, Peter Jipsen, Michael Winter

Häftad, 2020

749 kr

Del 13027

Relational and Algebraic Methods in Computer Science

Uli Fahrenberg, Mai Gehrke, Luigi Santocanale, Michael Winter

Häftad, 2021

1 069 kr

Del 10226

Relational and Algebraic Methods in Computer Science

Peter Höfner, Damien Pous, Georg Struth

Häftad, 2017

749 kr

Del 9348

Relational and Algebraic Methods in Computer Science

Wolfram Kahl, Michael Winter, José Oliveira

Häftad, 2015

729 kr

Relational and Algebraic Methods in Computer Science

Harrie de Swart

Häftad, 2011

749 kr

Relational and Algebraic Methods in Computer Science

Wolfram Kahl, Timothy G. Griffin

Häftad, 2012

749 kr

Relational and Algebraic Methods in Computer Science

Jules Desharnais, Walter Guttmann, Stef Joosten

Häftad, 2018

749 kr

Del 14787 i serien Lecture Notes in Computer Science

Relational and Algebraic Methods in Computer Science

21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19–22, 2024, Proceedings

Häftad, Engelska, 2024

AvUli Fahrenberg,Wesley Fussner,Roland Glück

869 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (10)

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

1 069 kr

Skickas inom 10-15 vardagar

Häftad

819 kr

Skickas inom 10-15 vardagar

Häftad

1 219 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

729 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Häftad

749 kr

Skickas inom 10-15 vardagar

Produktinformation

Utgivningsdatum2024-07-30
Mått155 x 235 x 15 mm
Vikt417 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor261
Upplaga2024
FörlagSpringer International Publishing AG
ISBN9783031682780

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Databaser inom Data och it

Tabular and Pretabular Varieties of MTL-algebras.- Cyclic Group Spectra for Some Small Relation Algebras.-Presenting Interval Pomsets with Interfaces.- Irrationality of Process Replication for Higher-Dimensional Automata.- Monotone Ω-Sup-Fuzzy Relations: Converse and Complementation.- On the Structure of Balanced Residuated Partially-ordered Monoids.- Complete Congruences of Completely Distributive Lattices.- A Matrix-oriented View of Bisimulations Quotients over Dioid-labeled Transition Systems.- Restructuring a Concurrent Refinement Algebra.- Frames and Spaces for Distributive Quasi Relation Algebras and Involutive FL-algebras.- Data Migration under a Changing Schema in Ampersand.- Using Matrix Sparsification to Solve Tropical Linear Vector Equations.- Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops.- L-Fuzzy Weak Preference, Preference, and Choice Relations.- Lifting Star-autonomy.