This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014.
The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.

Dieses Lehrbuch behandelt zunachst zentrale Themen der klassischen Theoretischen Informatik und fuhrt darauf aufbauend in die Grundlagen der Algorithmischen Informationstheorie ein. Behandelt werden insbesondere die Fragestellungen: - Was sind Algorithmen? Was koennen sie und wo liegen ihre Grenzen? - Welche Aussagen sind uber die Laufzeit moeglich? Welches sind die wichtigsten Komplexitatsklassen? Was bedeuten diese fur Theorie und Praxis? - Wie kann die strukturelle Komplexitat von Daten beschrieben und analysiert werden? Das Buch richtet sich an Studierende in Mathematik- und Informatik-Studiengangen, die entsprechende Lehrveranstaltungen an Hochschulen aller Art besuchen oder sich unabhangig davon weiterbilden moechten. Alle formalen Grundlagen werden mathematisch prazise und ausfuhrlich dargestellt bzw. bewiesen, viele detaillierte Erklarungen und Querverweise erleichtern dabei das Verstandnis der Zusammenhange. Dadurch ist das Buch auch fur Studierende der Informatik mit Fokus auf aktuelle praktische Problemstellungen und Anwendungsmoeglichkeiten, etwa im Bereich der Datenanalyse, gut zuganglich. Das Lehrbuch ist hervorragend zum Selbststudium geeignet. Jedes Kapitel beginnt mit einer kurzen Motivation des folgenden Inhalts. Ausfuhrliche Erklarungen foerdern das Verstandnis, viele Beispiele und Aufgaben dienen der Festigung des Wissens und dem Einuben der dargestellten Methoden und Verfahren. Zu fast allen Aufgaben sind im Text oder am Ende des Buches Musterloesungen aufgefuhrt. Zusammenfassungen am Kapitelende bieten daruber hinaus Gelegenheit, den Stoff zu reflektieren.