Sökt på: ulrich berger
totalt 158 träffar
Future of Smart Production for SMEs
This book explains and exemplifies how SMEs can embrace the Smart Production approach and technologies in order to gain a beneficiary outcome. The book describes the Smart …
Kartenzahlungen im Euro-Zahlungsraum
Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite …
Computational Logic
Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in …
Revolutions and Revelations in Computability
This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022. The 19 full papers together with 7 invited papers …
Bridging Cultural Barriers
This book provides readers with a comprehensive guide to other cultures – the often-unfamiliar ways that people from other cultures think, speak and act. As such, it helps readers …
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory …
Logical Approaches to Computational Barriers
CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on …
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory …
Thomas Schutte: Faces & Figures
Over the last two decades, alongside his better known sculptural work, German artist Thomas Schutte (born 1954) has created watercolors and drawings of his acquaintances and …
The Future of Smart Production for SMEs
This book explains and exemplifies how SMEs can embrace the Smart Production approach and technologies in order to gain a beneficiary outcome. The book describes the Smart …
Logic, Construction, Computation
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 …