BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Grundlagen der Mathematik
105 Treffer
Ankündigung
Von Wiener Walzer bis zu mengentheoretischen Spielen
Fachbuch2026Springer SpektrumISBN 978-3-662-69708-5
Ankündigung
An Introduction
Fachbuch2026SpringerISBN 978-3-032-10039-9
neu
Rules of Logic for Formal Proofs in Zermelo Set Theory
Fachbuch2026SpringerISBN 978-3-032-22238-1
Ankündigung
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Fachbuch2026SpringerISBN 978-3-662-73410-0
Ankündigung
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
Fachbuch2026SpringerISBN 978-3-032-34977-4
Ankündigung
Fachbuch2026SpringerISBN 978-3-658-52317-6
Ankündigung
A Guided Introduction to the Fundamental Ideas
Fachbuch2026SpringerISBN 978-3-032-26872-3
neu
From the Logic of Questions to Proof Theory
Fachbuch2026SpringerISBN 978-3-031-82453-1
neu
Exploring New Frontiers
Fachbuch2026SpringerISBN 978-3-032-25673-7
neu
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-05469-2
neu
240 Key Topics Explained on a Single Page Each
Fachbuch2026SpringerISBN 978-3-662-73220-5
neu
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-26742-9
Ankündigung
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2027SpringerISBN 978-3-031-85189-6
Ankündigung
Ren / Huang / Hussain / Wang / Jin / Li / Sun
15th International Conference, BICS 2025, Suzhou, China, November 28–30, 2025, Proceedings
Fachbuch2026SpringerISBN 9789819235858
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
Fachbuch2., Second Edition 20252026Birkhäuser Verlag GmbHISBN 978-3-031-68856-0
A Fundamental Introduction
Fachbuch2026SpringerISBN 978-3-031-73836-4
From Logic Operators to Cellular Automata
Fachbuch2026De GruyterISBN 978-3-11-223004-6
Fachbuch2026SpringerISBN 978-3-032-09010-2
Jaschinski
Brückenkurs Mathematik für Wirtschaftswissenschaftler für Dummies
Brückenkurs Mathematik für Wirtschaftswissenschaftler für Dummies
Fachbuch2014Wiley-VCHISBN 978-3-527-70744-7
Rezensionen
