Informatik (14.430 Artikel)

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016. The 68 papers included in this volume were care...

This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were c...

7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings

8th International Conference, Durham, UK, July 22-25, 2024, Proceedings

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume wer...

This book concerns issues related to biomathematics, medicine, or cybernetics as practiced by engineers. Considered population dynamics models are still in the interest of researchers, and even thi...

This book concerns issues related to biomathematics, medicine, or cybernetics as practiced by engineers. Considered population dynamics models are still in the interest of researchers, and even thi...

On the abstract specification and formal analysis of synchronization properties of concurrent systems.- On the formal specification and analysis of loosely connected processes.- Synchronized parall...

First-Order Universality for Real Programs.- Skolem + Tetration Is Well-Ordered.- Structures of Some Strong Reducibilities.- Complexity of Existential Positive First-Order Logic.- Stochastic Progra...

Mathematical Theory of Advanced Computing

Mathematical Theory of Advanced Computing

This volume contains the post-proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2014, held in Tel?, Czech Republic, in October 2014.The 13...

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Tel?, Czech Republic, in October...

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. Th...

A Practice-Oriented Approach