Mathematical Theory of Computation

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, Octobe...

This book constitutes the refereed proceedings of the 28th International Conference on Developments in Language Theory, DLT 2024, held in Göttingen...

This book constitutes the refereed post proceedings of the 17th Research Conference on Metadata and Semantic Research, MTSR 2023, held in Milan, It...

Membrane computing is a class of distributed and parallel computing models inspired by living cells. Spiking neural P systems are neural-like membr...

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, col...

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place i...

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took...

This book provides a comprehensive overview of the recent developments in clinical decision support systems, precision health, and data science in ...

Biomedical and Health Informatics is an important field that brings tremendous opportunities and helps address challenges due to an abundance of av...

The book provides future research directions in IoT and image processing based Energy, Industry, and Healthcare domain and explores the different a...

Today, Internet of Things (IoT) is ubiquitous as it is applied in practice in everything from Industrial Control Systems (ICS) to e-Health, e-comme...

This book focuses on the application of soft computing in materials and manufacturing sectors with the objective to offer an intelligent approach t...

The 17th International Symposium on Graph Drawing (GD 2009) was held in Chicago, USA, September 22-25, 2009, and was attended by 91 participants fr...

The 5th International Workshop on Medical Imaging and Augmented Reality, MIAR 2010, was held at the China National Convention Center (CNCC), B- jin...

Wearepleasedtopresenttheproceedingsofthe8thInternationalConferenceon Parallel Processing and Applied Mathematics - PPAM 2009, which was held in Wro...

The background to IDA 2010, the 9th International Symposium on Intelligent DataAnalysis(IDA),is ratherunusual. Previously,thesymposiawereheldbi- ni...

This volume is conceived as a rami?cation of the eighth conference on Logic and the Foundations of the Theory of Games and Decisions (LOFT8), which...

The goal of the International Conference on Software Composition is to advance the state of research on modularity and reuse in the context of soft...

The papers in this volume were selected for presentation at the 16th Annual InternationalComputing and CombinatoricsConference (COCOON 2010), held ...

Wearepleasedtopresenttheproceedingsofthe8thInternationalConferenceon Parallel Processing and Applied Mathematics - PPAM 2009, which was held in Wro...

This two-volume set constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Information Systems, IC...

The two-volume set LNBIP 518 and 519 constitutes the refereed post-conference proceedings of the 25th International Conference on Enterprise Inform...