Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
Introduction to Homotopy Type Theory

Introduction to Homotopy Type Theory

Livre (relié)env. 85.00 CHF
disponible dès août 2025

Informations bibliographiques

août 2025, Cambridge Studies in Advanced Mathematics, Anglais
Cambridge Academic
978-1-108-84416-1

Mots-clés

Autres titres de la collection: Cambridge Studies in Advanced Mathematics

Afficher tout
Multiplicative Number Theory II
Primes and Sieves
Cambridge Academic, 2025
978-1-009-44505-4
env. 139.00 CHF
disponible dès septembre 2025
Essays in Classical Number Theory
Cambridge Academic, 2025
978-1-009-50455-3
env. 149.00 CHF
disponible dès mai 2025
Equivariant Cohomology in Algebraic Geometry
Cambridge Academic, 2025
978-1-009-34997-0
env. 59.50 CHF
disponible dès mai 2025
Oriented Matroids
Cambridge Academic, 2025
978-1-009-49411-3
env. 89.00 CHF
disponible dès avril 2025
Abelian Model Category Theory
Cambridge Academic, 2025
978-1-009-44946-5
env. 109.00 CHF
disponible dès janvier 2025
Functional Analysis
Cambridge Academic, 2024
978-1-009-54246-3
66.00 CHF
disponible de suite
Algebraic Varieties: Minimal Models and Finite Generation
Cambridge Academic, 2024
978-1-009-34467-8
100.00 CHF
livrable dans env. 10-20 jours
Harmonic Functions and Random Walks on Groups
Cambridge Academic, 2024
978-1-009-12318-1
100.00 CHF
livrable dans env. 10-20 jours
Polytopes and Graphs
Cambridge Academic, 2024
978-1-009-25781-7
110.00 CHF
livrable dans env. 10-20 jours
Analytic Combinatorics in Several Variables
Cambridge Academic, 2024
978-1-108-83662-3
116.00 CHF
disponible de suite
Optimal Mass Transport on Euclidean Spaces
Cambridge Academic, 2023
978-1-009-17970-6
86.00 CHF
livrable dans env. 10-20 jours
Equivariant Cohomology in Algebraic Geometry
Cambridge Academic, 2023
978-1-009-34998-7
86.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

The Effects of Cyber Supply Chain Attacks and Mitigation Strategies
Taylor and Francis, 2025
978-1-032-95531-5
env. 85.00 CHF
disponible dès juillet 2025
Introducing the Philosophy of Mathematical Practice
Cambridge Academic, 2025
978-1-00-907478-0
30.90 CHF
livrable dans env. 10-20 jours
International Management Behavior
Global and Sustainable Leadership
Cambridge Academic, 2025
978-1-00-948921-8
76.00 CHF
livrable dans env. 10-20 jours
Methods and Applications of Autonomous Experimentation
Taylor and Francis, 2025
978-1-03-241753-0
env. 69.00 CHF
disponible dès juin 2025
Systematic Security
A CISO’s Playbook
Taylor and Francis, 2025
978-1-041-01812-4
env. 75.00 CHF
disponible dès juillet 2025
Justice, Equity, Diversity, and Inclusion in the United States
Connecting People, Places, and Practices
Cambridge Academic, 2025
978-1-009-09683-6
env. 65.00 CHF
disponible dès juillet 2025
Labour Law
Cambridge Academic, 2025
978-1-009-61207-4
env. 75.00 CHF
disponible dès août 2025
Research Methods and Applied Statistics
A Practical Guide to Conducting Research
Cambridge Academic, 2025
978-1-009-36143-9
env. 109.00 CHF
disponible dès août 2025
Heidegger's Interpretation of Kant
The Violence and the Charity
Cambridge Academic, 2025
978-1-009-23923-3
env. 39.90 CHF
disponible dès mai 2025
Introducing the Philosophy of Mathematical Practice
Cambridge Academic, 2025
978-1-00-947938-7
86.00 CHF
livrable dans env. 10-20 jours