Books by Florian Rabe

Cover of Intelligent Computer Mathematics

Intelligent Computer Mathematics

by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

2017
Cover of Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

by Florian Rabe

2009
Cover of Hochschuldidaktik der Informatik HDI 2023

Hochschuldidaktik der Informatik HDI 2023

by Simone Opel, Daniel Braun, Melanie Seiss, Barbara Pampel, Wolf Spalteholz, Thiemo Leonhardt, Nadine Bergner, Marcus Soll, Louis Kobras, Christian Lagod, Florian Reuß, Nils Pancratz, Vanessa Grave, Christian Riedel, Axel Wiepke, Boris Jacob, Niklas Hartmann, Ulrike Lucke, Dominic Lohr, Marc Berges, Michael Kohlhase, Florian Rabe, Martin Weinert, Andrea Linxen, Christian Beecks, Uwe Lorenz, Ralf Romeike

2025
Cover of Segment Routing for Service Providers and Enterprise Networks

Segment Routing for Service Providers and Enterprise Networks

by Leonir Hoxha, Florian Deragisch, Kateel Vijayananda, Matthys Rabe, Rene Minder

2024
Cover of Segment Routing for Service Provider and Enterprise Networks

Segment Routing for Service Provider and Enterprise Networks

by Florian Deragisch, Leonir Hoxha, Rene Minder, Matthys Rabe, Kateel Vijayananda

2024

Can't find the book you're looking for? Let us know — it helps us improve.