Catalog > Sciences > Math > Barbara Konig & Henning Urbat: Coalgebraic Methods in Computer Science (ePUB)

Barbara Konig & Henning Urbat
Coalgebraic Methods in Computer Science [EPUB ebook]
17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Support

Cover of Barbara Konig & Henning Urbat: Coalgebraic Methods in Computer Science (ePUB)

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.

€166.82

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031664380 ● Editor Barbara Konig & Henning Urbat ● Publisher Springer Nature Switzerland ● Published 2024 ● Downloadable 3 times ● Currency EUR ● ID 9584306 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Barbara Konig Henning Urbat

50,053 Ebooks in this category

Cover of Jerry Butters & Jim Henle: The Baseball Mysteries

Jerry Butters & Jim Henle: The Baseball Mysteries

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. …

Cover of Mark (Albion College, Albion, Michigan, USA) Bollman: Basic Gambling Mathematics

Mark (Albion College, Albion, Michigan, USA) Bollman: Basic Gambling Mathematics

Basic Gambling Mathematics: The Numbers Behind the Neon, Second Edition explains the mathematics involved in analyzing games of chance, including casino games, horse racing and other sports, and lott …

Cover of H.F Jones: Groups, Representations and Physics

H.F Jones: Groups, Representations and Physics

Illustrating the fascinating interplay between physics and mathematics, Groups, Representations and Physics, Second Edition provides a solid foundation in the theory of groups, particularly group rep …

Cover of Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

Cover of Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Ivan Cimrak & Iveta Jancigova: Computational Blood Cell Mechanics

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …

Cover of Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

For decades, researchers have been developing algorithms to manipulate and analyze images. From this, a common set of image tools now appear in many high-level programming languages. Consequently, th …

Cover of Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Elementary Differential Equations, Second Edition is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculat …

Cover of B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference

B.L.S. Prakasa Rao: Semimartingales and their Statistical Inference

Statistical inference carries great significance in model building from both the theoretical and the applications points of view. Its applications to engineering and economic systems, financial econo …

Cover of Bin Jia & Ming (University of Missouri) Xin: Grid-based Nonlinear Estimation and Its Applications

Bin Jia & Ming (University of Missouri) Xin: Grid-based Nonlinear Estimation and Its Applications

Grid-based Nonlinear Estimation and its Applications presents new Bayesian nonlinear estimation techniques developed in the last two decades. Grid-based estimation techniques are based on efficient a …

Cover of Ning (Michigan State University, East Lansing, USA) Xi & Mingjun (The Ohio State University, USA) Zhang: Nanomedicine

Ning (Michigan State University, East Lansing, USA) Xi & Mingjun (The Ohio State University, USA) Zhang: Nanomedicine

This book offers a fundamental and comprehensive overview of nanomedicine from a systems engineering perspective, making it the first book in the field of quantitative nanomedicine based on systems t …