Ulrich Berger
- Auteur
Peter Schuster
Boeken van Ulrich Berger
Ole Madsen
Ulrich Berger
Charles Møller
Astrid Heidemann Lassen
Brian Vejrum Waehrens
Casper Schou
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.
Meer
Hanns Abele
Ulrich Berger
Guido Schäfer
Kartenzahlungen im Euro-Zahlungsraum
Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area).
Meer
Ulrich Berger
Helmut Schwichtenberg
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 particular proof theory and model theory, are of great help here and will be used much more in future than previously.
Meer
Arnold Beckmann
Ulrich Berger
Benedikt Löwe
John V. Tucker
Logical Approaches to Computational Barriers
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006.
Meer
Peter Schuster
Ulrich Berger
Horst Osswald
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 and, in particular, of the axiom of choice.
Meer