A rare glimpse behind the scenes of the world's most influential museumsWho are the people shaping the world's most renowned museums? In this captivating book, Donatien Grau offers a rare glimpse behind the scenes of leading art institutions and their visionary directors. Through insightful conversations with some of the most influential figures in the museum world, he reveals how they opened their doors to ever-growing audiences w...

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a sch...

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling t...

Kinder- und Jugendärzte erhalten mit diesem verlässlichen Therapie-Begleiter schnelle Orientierung bei der täglichen Arbeit auf Station oder in der Praxis. Der Band aus der Reihe „Therapie der Krankheiten im Kindes- und Jugendalter“ konzentriert sich auf die Behandlung von Erkrankungen des Herzens, der Lunge und von Hals-Nasen-Ohren-Erkrankungen in der Pädiatrie sowie die Therapie von kinderallergologischen Erkrankungen.Die Reihe „Therapie der Krankheiten im Kindes- und Jugendalter...