Wyniki wyszukiwania:

The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was “Revolutions and revelations in computability”. This alludes to the revolutionary developments we have seen in computability theory, starting with Turing's and Gödel's discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational...

Über das Buch
Landschaft und Natur der Eifel überraschen mit einem Mix aus wild und mild: Vulkangipfel und Maare zeugen von einer turbulenten Vergangenheit. Der Rursee, die zweitgrößte Talsperre Deutschlands, lockt zu Bootstour und Bad, der Nationalpark Eifel zu Exkursionen in die Wildnis des Waldes. 50 km weiter, an der Ahr, wandert man durch Weinberge. In der Eifel entdeckt man beschauliche verschlafene Dörfer mit netten Ecken und Winkeln, Kirchen und Klöster, romantische Burgruinen und Burgstädtchen wie Monschau oder Bad Münstereifel. Einen Blick in die...

Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite dieser Umgestaltung der europaischen Zahlungssysteme mit der Euro-Einfuhrung vergleichbar ist, besteht daruber ein gravierendes Informationsdefizit im offentlichen Diskurs. In diesem Buch findet sich eine kritische Analyse von SEPA aus wissenschaftlicher Perspektive.

Im Mittelpunkt stehen Zahlungskartensysteme, da sie als zeitgemasse Zahlungsform in einer digitalisierten, globalisierten Welt von SEPA...

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive...