Електронна книга > Наука > Математика > Uli Fahrenberg & Mai Gehrke: Relational and Algebraic Methods in Computer Science (ePUB)

Uli Fahrenberg & Mai Gehrke
Relational and Algebraic Methods in Computer Science [EPUB ebook]
19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings

поддержка

Обложка Uli Fahrenberg & Mai Gehrke: Relational and Algebraic Methods in Computer Science (ePUB)

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 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.

€83.64

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат EPUB ● ISBN 9783030887018 ● редактор Uli Fahrenberg & Mai Gehrke ● издатель Springer International Publishing ● опубликованный 2021 ● Загружаемые 3 раз ● валюта EUR ● Код товара 8196701 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Uli Fahrenberg Mai Gehrke Luigi Santocanale Michael Winter

50 053 Электронные книги в этой категории

Обложка Stefaan (Free University of Brussels, Belgium) Caenepeel & Freddy (University of Antwerp: Hopf Algebras and Quantum Groups

Stefaan (Free University of Brussels, Belgium) Caenepeel & Freddy (University of Antwerp: Hopf Algebras and Quantum Groups

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers — selected from over 65 par …

Обложка II Pearson: Map ProjectionsTheory and Applications

II Pearson: Map ProjectionsTheory and Applications

About the Author: Frederick Pearson has extensive experience in teaching map projection at the Air Force Cartography School and Virginia Polytechnic Institute. He developed star charts, satellite tra …

Обложка Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces

Mark (University of California, Los Angeles, USA; formerly, National Academy of Sciences of Ukraine) Burgin: Semitopological Vector Spaces

This new volume shows how it is possible to further develop and essentially extend the theory of operators in infinite-dimensional vector spaces, which plays an important role in mathematics, physics …

Обложка Lee Bain & Max Englehardt: Statistical Analysis of Reliability and Life-Testing Models

Lee Bain & Max Englehardt: Statistical Analysis of Reliability and Life-Testing Models

Textbook for a methods course or reference for an experimenter who is mainly interested in data analyses rather than in the mathematical development of the procedures. Provides the most useful statis …

Обложка Alexander (GIST College, Gwangju Institute of Science and Technology, South Korea) Stoimenow: Diagram Genus, Generators, and Applications

Alexander (GIST College, Gwangju Institute of Science and Technology, South Korea) Stoimenow: Diagram Genus, Generators, and Applications

In knot theory, diagrams of a given canonical genus can be described by means of a finite number of patterns (‘generators’). Diagram Genus, Generators and Applications presents a self-contained accou …

Обложка Nguyen Viet Dung: Extending Modules

Nguyen Viet Dung: Extending Modules

Module theory is an important tool for many different branches of mathematics, as well as being an interesting subject in its own right. Within module theory, the concept of injective modules is part …

Обложка Jiacun Wang: Formal Methods in Computer Science

Jiacun Wang: Formal Methods in Computer Science

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduce …

Обложка Louis (Siemens, Cypress, California, USA) Komzsik: Applied Calculus of Variations for Engineers, Third edition

Louis (Siemens, Cypress, California, USA) Komzsik: Applied Calculus of Variations for Engineers, Third edition

Calculus of variations has a long history. Its fundamentals were laid down by icons of mathematics like Euler and Lagrange. It was once heralded as the panacea for all engineering optimization proble …

Обложка Michael (University of Nottingham, UK) Clifford: Statistical Inference via Data Science: A ModernDive into R and the Tidyverse

Michael (University of Nottingham, UK) Clifford: Statistical Inference via Data Science: A ModernDive into R and the Tidyverse

Statistical Inference via Data Science: A Modern Dive into R and the Tidyverse provides a pathway for learning about statistical inference using data science tools widely used in industry, academia, …

Обложка Martin Fox & Robert E. Odeh: Sample Size Choice

Martin Fox & Robert E. Odeh: Sample Size Choice

A guide to testing statistical hypotheses for readers familiar with the Neyman-Pearson theory of hypothesis testing including the notion of power, the general linear hypothesis (multiple regression) …

Следущая страница >>>