Matematik för datavetare

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full …

Jeder Student IT-naher Studiengänge benötigt Grundkenntnisse im Bereich Algorithmen. Lernen Sie anhand alltäglicher Aufgabenstellungen aus der Informatik die richtigen Algorithmen …

This book constitutes the refereed proceedings of the 12th International Symposium on Search-Based Software Engineering, SSBSE 2020, held in Bari, Italy, in October 2020.The 13 …

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.

This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, …

Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical …

This bookconstitutes revised selected papers from the 4th InternationalConference on Operations Research and Enterprise Systems, ICORES 2015, held inLisbon, Portugal, in January …

This book constitutes the refereed proceedings of the 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, held as a virtual event, in June 2021.The 28 …

The 3-volume set LNAI 13280, LNAI 13281 and LNAI 13282 constitutes the proceedings of the 26th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD …

This book constitutes the refereed proceedings of the 17th International Conference on Distributed Computer and Communication Networks, DCCN 2013, held in Moscow, Russia, in …