Catalog > Science > Mathématiques > 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

Couverture du 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

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format EPUB ● ISBN 9783031664380 ● Éditeur Barbara Konig & Henning Urbat ● Maison d’édition Springer Nature Switzerland ● Publié 2024 ● Téléchargeable 3 fois ● Devise EUR ● ID 9584306 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Barbara Konig Henning Urbat

49 595 Ebooks dans cette catégorie

Couverture du Weinan E: Applied Stochastic Analysis

Weinan E: Applied Stochastic Analysis

This is a textbook for advanced undergraduate students and beginning graduate students in applied mathematics. It presents the basic mathematical foundations of stochastic analysis (probability theor …

Couverture du Mateusz Michalek: Invitation to Nonlinear Algebra

Mateusz Michalek: Invitation to Nonlinear Algebra

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and computat …

Couverture du Peter Fletcher & William F. Lindgren: Quasi-Uniform Spaces

Peter Fletcher & William F. Lindgren: Quasi-Uniform Spaces

Since quasi-uniform spaces were defined in 1948, a diverse and widely dispersed literatureconcerning them has emerged. In Quasi-Uniform Spaces, the authors present a comprehensivestudy of these struc …

Couverture du Tevian Dray: The Geometry of Special Relativity

Tevian Dray: The Geometry of Special Relativity

This unique book presents a particularly beautiful way of looking at special relativity. The author encourages students to see beyond the formulas to the deeper structure. The unification of space an …

Couverture du Ben Krause: Discrete Analogues in Harmonic Analysis

Ben Krause: Discrete Analogues in Harmonic Analysis

This timely book explores certain modern topics and connections at the interface of harmonic analysis, ergodic theory, number theory, and additive combinatorics. The main ideas were pioneered by Bour …

Couverture du David (Senior Data Science Expert, Novartis, Switzerland) Granjon: Outstanding User Interfaces with Shiny

David (Senior Data Science Expert, Novartis, Switzerland) Granjon: Outstanding User Interfaces with Shiny

Outstanding User Interfaces with Shiny provides the reader with necessary knowledge to develop beautiful and highly interactive user interfaces. It gives the minimum requirements in HTML/Java Script …

Couverture du Tzafestas: Stochastic Large-Scale Engineering Systems

Tzafestas: Stochastic Large-Scale Engineering Systems

This book focuses on the class of large-scale stochastic systems, which has dominated the attention of many academic and research groups. It discusses distributed-sensor networks, decentralized detec …

Couverture du Richard Vaillencourt: Simple Solutions to Energy Calculations

Richard Vaillencourt: Simple Solutions to Energy Calculations

Updated with new material, this book shares the author’s secrets for simplifying complex energy calculations, and shows you how to use these time-saving methods. It shows you how to cut through the m …

Couverture du Alan Jeffrey: Mathematics for Engineers and Scientists

Alan Jeffrey: Mathematics for Engineers and Scientists

Since its original publication in 1969, Mathematics for Engineers and Scientists has built a solid foundation in mathematics for legions of undergraduate science and engineering students. It continue …

Couverture du J.J. Allaire & Garrett Grolemund: R Markdown

J.J. Allaire & Garrett Grolemund: R Markdown

R Markdown: The Definitive Guide is the first official book authored by the core R Markdown developers that provides a comprehensive and accurate reference to the R Markdown ecosystem. With R Markdow …

Page suivante >>>