Ulrich Berger – författare
Visar alla böcker från författaren Ulrich Berger. Handla med fri frakt och snabb leverans.
17 produkter
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
Av Peter Schuster, Ulrich Berger m. fl.
Inbunden, 2002
1641 kr
Lägg i varukorg
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. Recent developments, however, have given rise to the hope that the distance …
Revolutions and Revelations in Computability
18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings
Av Ulrich Berger, Johanna N. Y. Franklin m. fl.
Häftad, 2022
715 kr
Lägg i varukorg
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 presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was …
Future of Smart Production for SMEs
A Methodological and Practical Approach Towards Digitalization in SMEs
Av Ole Madsen, Ulrich Berger m. fl.
Inbunden, 2022
1532 kr
Lägg i varukorg
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 Production vision for SMEs, as well as the method to get there. The concept behind the book is based on the long-term …
Future of Smart Production for SMEs
A Methodological and Practical Approach Towards Digitalization in SMEs
Av Casper Schou, Brian Vejrum Waehrens m. fl.
E-bok, 2022
1427 kr
Lägg i varukorg
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 Production vision for SMEs, as well as the method to get there. The concept behind the book is based on the long-term …
Future of Smart Production for SMEs
A Methodological and Practical Approach Towards Digitalization in SMEs
Av Ole Madsen, Ulrich Berger m. fl.
Häftad, 2023
1096 kr
Lägg i varukorg
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 Production vision for SMEs, as well as the method to get there. The concept behind the book is based on the long-term …
Logic, Construction, Computation
Av Ulrich Berger, Hannes Diener m. fl.
Inbunden, 2012
3127 kr
Lägg i varukorg
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 …
Logic, Construction, Computation
Av Monika Seisenberger, Peter Schuster m. fl.
E-bok, 2013
3173 kr
Lägg i varukorg
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 …
Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Av Arnold Beckmann, Ulrich Berger m. fl.
Häftad, 2006
1129 kr
Lägg i varukorg
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 computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the …
Logical Approaches to Computational Barriers
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Av John V. Tucker, Benedikt Lowe m. fl.
E-bok, 2006
1459 kr
Lägg i varukorg
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 computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the …
Computational Logic
Av Ulrich Berger, Helmut Schwichtenberg
Inbunden, 1999
1690 kr
Lägg i varukorg
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. This book …
DUMONT Reise-Taschenbuch Reiseführer Eifel, Aachen, Trier
Av Petra Juling, Ulrich Berger
Häftad, 2025
263 kr
Lägg i varukorg
Computational Logic
Av Helmut Schwichtenberg, Ulrich Berger
E-bok, 2012
2174 kr
Lägg i varukorg
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. This book …
Computational Logic
Av Ulrich Berger, Helmut Schwichtenberg
Häftad, 2012
1690 kr
Lägg i varukorg
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. This book …
Kartenzahlungen im Euro-Zahlungsraum
Av Hanns Abele, Ulrich Berger m. fl.
Inbunden, 2006
875 kr
Lägg i varukorg
Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite dieser Umgestaltung der europäischen Zahlungssysteme mit der Euro-Einführung vergleichbar ist, besteht darüber ein …
Kartenzahlungen im Euro-Zahlungsraum
Av Guido Schafer, Ulrich Berger m. fl.
E-bok, 2007
906 kr
Lägg i varukorg
Dieses Buch analysiert das Jahrhundertprojekt der europaweiten Vereinheitlichung des Massenzahlungsverkehrs durch das SEPA-Projekt (Single Euro Payment Area). Obwohl die Tragweite dieser Umgestaltung der europäischen Zahlungssysteme mit der Euro-Einführung vergleichbar ist, besteht darüber ein …
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
Av Peter Schuster, Ulrich Berger m. fl.
Häftad, 2010
1641 kr
Lägg i varukorg
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. Recent developments, however, have given rise to the hope that the distance …
Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999
Av Horst Osswald, Ulrich Berger m. fl.
E-bok, 2013
2044 kr
Lägg i varukorg
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. Recent developments, however, have given rise to the hope that the distance …
