Broschiertes Buch
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
1st ed. 2022
25. September 2022
Deutsche Forschungsgemeinschaft / Springer / Springer International Publishing / Springer, Berlin
978-3-031-14648-0
| eBook, PDF | 40,95 € |
Broschiertes Buch
A Minicourse on L2-Betti Numbers in Group Theory
15. März 2020
Deutsche Forschungsgemeinschaft / Springer / Springer International Publishing / Springer, Berlin
978-3-030-44219-4
| eBook, PDF | 52,95 € |
Broschiertes Buch
An Introduction
1st ed. 2017
19. Januar 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-72253-5
| eBook, PDF | 64,95 € |
eBook, PDF
14. März 2020
Springer International Publishing
Ähnliche Artikel
Gebundenes Buch
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
2. Aufl.
30. August 2025
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-99704-4
Broschiertes Buch
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
24. Oktober 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-80509-8
Broschiertes Buch
1999.
22. Januar 1999
Springer / Springer London / Springer, Berlin
978-1-85233-056-9
Broschiertes Buch
1st ed. 2018
6. Dezember 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-92413-7
Gebundenes Buch
An Introduction with Connections from Combinatorics to Topology
2. Aufl.
20. Mai 2016
Birkhäuser / Springer International Publishing / Springer, Berlin
978-3-319-29786-6
Gebundenes Buch
25. Dezember 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-27091-9
Gebundenes Buch
1985
14. Oktober 1985
Springer / Springer New York / Springer, Berlin
978-0-387-96179-8
Gebundenes Buch
1994.
31. Januar 1994
Springer / Springer Netherlands
978-0-7923-2665-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
