Grundlagen der Mathematik
Fachbuch2026SpringerISBN 978-3-032-30720-0
Von Wiener Walzer bis zu mengentheoretischen Spielen
Fachbuch2027Springer SpektrumISBN 978-3-662-69708-5
Brattka / Fernau / Galeotti
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27–31, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-31347-8
Fachbuch2026Springer GablerISBN 978-3-658-52317-6
An Introduction
Fachbuch2027SpringerISBN 978-3-032-10039-9
Mit strenger Axiomatik zu einem tragfähigen Gefüge
Fachbuch2027SpringerISBN 978-3-662-73640-1
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Fachbuch2027SpringerISBN 978-3-662-73410-0
Baratgin / Jacquet / Brochier / Yama
Reasoning in Context. Human Minds, Artificial Systems, and Their Interactions
Reasoning in Context. Human Minds, Artificial Systems, and Their Interactions
4th International Conference on Human and Artificial Rationalities, HAR 2025, Paris, France, September 16–19, 2025, Proceedings
Fachbuch2027SpringerISBN 978-3-032-34977-4
Vandoulakis / Citkin / Denisova / Pires Ting
Festschrift for Jean-Yves Béziau's 60th Birthday , Vol. 1
Fachbuch2027Birkhäuser Verlag GmbHISBN 978-3-032-37326-7
Fachbuch2027SpringerISBN 978-3-032-41939-2
From the Logic of Questions to Proof Theory
Fachbuch2026SpringerISBN 978-3-031-82453-1
Exploring New Frontiers
Fachbuch2026SpringerISBN 978-3-032-25673-7
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-05469-2
240 Key Topics Explained on a Single Page Each
Fachbuch2026SpringerISBN 978-3-662-73220-5
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-26742-9
Bertrand / Milius
29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-22729-4
Ren / Huang / Hussain / Wang / Jin / Li / Sun
15th International Conference, BICS 2025, Suzhou, China, November 28–30, 2025, Proceedings
Fachbuch2027SpringerISBN 9789819235858
Statistical Properties, Quantumness and Security Certification
Fachbuch2027SpringerISBN 9789819258024
Lehrbuch für Höhere Technische Lehranstalten - Band 1
Lehrbuch/Studienliteratur2025Hanser FachbuchISBN 978-3-446-48085-8
Fachbuch2., Second Edition 20252026Birkhäuser Verlag GmbHISBN 978-3-031-68856-0
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

