Catalog > Ciencia > Matemáticas > 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

Soporte

Portada de 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

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Inglés ● Formato EPUB ● ISBN 9783031664380 ● Editor Barbara Konig & Henning Urbat ● Editorial Springer Nature Switzerland ● Publicado 2024 ● Descargable 3 veces ● Divisa EUR ● ID 9584306 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

Barbara Konig Henning Urbat

50.053 Ebooks en esta categoría

Portada de Ion (University Politehnica Timisoara, Romania) Boldea & Syed A. (University of Kentucky, Lexington, USA) Nasar: Vector Control of AC Drives

Ion (University Politehnica Timisoara, Romania) Boldea & Syed A. (University of Kentucky, Lexington, USA) Nasar: Vector Control of AC Drives

Alternating current (AC) induction and synchronous machines are frequently used in variable speed drives with applications ranging from computer peripherals, robotics, and machine tools to railway tr …

Portada de Igor V. (RWTH Aachen, Germany) Andrianov & Jan (Lodz University, Poland) Awrejcewicz: Linear and Nonlinear Waves in Microstructured Solids

Igor V. (RWTH Aachen, Germany) Andrianov & Jan (Lodz University, Poland) Awrejcewicz: Linear and Nonlinear Waves in Microstructured Solids

This book uses asymptotic methods to obtain simple approximate analytic solutions to various problems within mechanics, notably wave processes in heterogeneous materials. Presenting original solution …

Portada de Jyotsna Kumar Mandal & Somnath Mukhopadhyay: Handbook of Research on Natural Computing for Optimization Problems

Jyotsna Kumar Mandal & Somnath Mukhopadhyay: Handbook of Research on Natural Computing for Optimization Problems

Portada de Daniel Anderson: Factorization in Integral Domains

Daniel Anderson: Factorization in Integral Domains

The contents in this work are taken from both the University of Iowa»s Conference on Factorization in Integral Domains, and the 909th Meeting of the American Mathematical Society»s Special Session …

Portada de Stuart B. Palmer & Mircea S. (Instituto Superior Tecnico, Portugal) Rogalski: Advanced University Physics

Stuart B. Palmer & Mircea S. (Instituto Superior Tecnico, Portugal) Rogalski: Advanced University Physics

To move from empirical-based physics to the theoretical abstractness required for advanced physics requires a paradigmatic shift in logic that can challenge even the brightest mind. Grasping the play …

Portada de Giri: Introduction to Probability and Statistics

Giri: Introduction to Probability and Statistics

Beginning with the historical background of probability theory, this thoroughly revised text examines all important aspects of mathematical probability – including random variables, probability distr …

Portada de G (University of Mons-Hainut, Mons, Belgium) Lumer: Evolution Equations and Their Applications in Physical and Life Sciences

G (University of Mons-Hainut, Mons, Belgium) Lumer: Evolution Equations and Their Applications in Physical and Life Sciences

This volume presents a collection of lectures on linear partial differntial equations and semigroups, nonlinear equations, stochastic evolutionary processes, and evolution problems from physics, engi …

Portada de Peter D. (Queen Mary University of London, UK) Congdon: Bayesian Hierarchical Models

Peter D. (Queen Mary University of London, UK) Congdon: Bayesian Hierarchical Models

An intermediate-level treatment of Bayesian hierarchical models and their applications, this book demonstrates the advantages of a Bayesian approach to data sets involving inferences for collections …

Portada de Alice Y.C. (University of Wales Trinity Saint David, Hong Kong) Te: Data Science and Machine Learning

Alice Y.C. (University of Wales Trinity Saint David, Hong Kong) Te: Data Science and Machine Learning

‘This textbook is a well-rounded, rigorous, and informative work presenting the mathematics behind modern machine learning techniques. It hits all the right notes: the choice of topics is up-to-date …

Portada de R.L. Weber: More Random Walks in Science

R.L. Weber: More Random Walks in Science

More Random Walks in Science is an anthology of fascinating and frequently amusing anecdotes, quotations, illustrations, articles, and reviews that reflect the more lighthearted aspects of the scient …

siguiente página >>>