Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Valued Fields (Bog, Paperback / softback, Engelsk)Absolute values and their completions -like the p-adic number fields- play an important role in number theory. The last chapter presents three applications of the general theory -for... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
General Topology III: Paracompactness, Function Spaces, Descriptive Theory (Bog, Paperback / softback, Engelsk)Of paramount significance in the applications of this method have been the properties of covers relating to the character of their elements (open covers, closed covers), the mutual dispo sition of these elements (star finite, point finite, locally finite covers, etc.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Algebraic Complexity Theory (Bog, Paperback / softback, Engelsk)Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus (Bog, Paperback / softback, Tysk)Der zweite Teil des Buches macht die Fülle der Ideen sichtbar, die Hilbert und seine Schüler im Rahmen der... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the International Symposium on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Bog, Paperback / softback, Engelsk)This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Springer-Handbuch der Mathematik III: Begrundet von I.N. Bronstein und K.A. Semendjaew Weitergefuhrt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler (Bog, Hardback, Tysk)Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkunden in Forschung und Lehre gedacht.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Springer-Handbuch der Mathematik I: Begrundet von I.N. Bronstein und K.A. Semendjaew Weitergefuhrt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler (Bog, Hardback, Tysk)Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkunden in Forschung und Lehre gedacht.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Springer-Handbuch der Mathematik IV: Begrundet von I.N. Bronstein und K.A. Semendjaew Weitergefuhrt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler (Bog, Hardback, Tysk)Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkunden in Forschung und Lehre gedacht.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Springer-Handbuch der Mathematik II: Begrundet von I.N. Bronstein und K.A. Semendjaew Weitergefuhrt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler (Bog, Hardback, Tysk)Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche Bibliotheken, akademische Institutionen und Firmen sowie interessierte Individualkunden in Forschung und Lehre gedacht.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Parametrisierte uniforme Berechnungskomplexitat in Geometrie und Numerik (Bog, Paperback / softback, Tysk)Carsten Rösnick legt seiner Arbeit die Frage nach der algorithmischen Komplexität der approximativen Berechnung von Operatoren aus Geometrie, Topologie und Analysis zugrunde.
Levering: Skaffevare (forvent 14 - 30 hverdage)
