Grundlagen der Mathematik
Bärwolff / Kato
Höhere Mathematik für Naturwissenschaftler und Ingenieure
Höhere Mathematik für Naturwissenschaftler und Ingenieure
4. Auflage 2024
Abdyssagin
Quantum Mechanics and Avant-Garde Music
Quantum Mechanics and Avant-Garde Music
Shadows of the Void
Diaconescu
Institution-independent Model Theory
Institution-independent Model Theory
2., Second Edition 2024
Batzoglou
Introduction to Incompleteness
Introduction to Incompleteness
From Gödel's Theorems to Forcing and the Continuum Hypothesis
Viale
The Forcing Method in Set Theory
The Forcing Method in Set Theory
An Introduction via Boolean Valued Logic
Sekerinski / Ribeiro
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Zerpa
The Logic, Philosophy, and History of the Lambda-Calculus
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
König / Urbat
Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings
Cimiano / Frank / Kohlhase / Stein
First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Tschinkel
Arithmetic and Algebraic Geometry
Arithmetic and Algebraic Geometry
A Mathematical Tribute to Yuri Manin
Bedürftig / Murawski / Kuhlemann
5., ergänzte und überarbeitete Auflage
Wolf / Kersting / Friedenberg
Ein Lehrbuch für Online- und Präsenzlehre mit der Inverted-Classroom-Methode für Ingenieur- und Wirtschaftswissenschaften
Koch / Stämpfle
Mathematik für das Ingenieurstudium
Mathematik für das Ingenieurstudium
Aufgaben und Lösungen
Koch / Stämpfle
Mathematik für das Ingenieurstudium
Mathematik für das Ingenieurstudium
5., aktualisierte Auflage