Land, Markus:
Introduction to infinity-categories / Markus Land. - Cham, Switzerland : Birkhäuser, [2021]. - ix, 296 Seiten. - (Compact textbooks in mathematics)
ISBN 978-3-030-61523-9
BV047319100
Schlagwort: Homologische Algebra, Kategorientheorie
RVK: SK 320
Olderog, Ernst-Rüdiger:
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. - 1. publ. - Cambridge [u.a.] : Cambridge Univ. Press, 2008. - XVI, 320 S. : Ill., graph. Darst.
ISBN 978-0-521-88333-7
BV035067908
Schlagwort: Echtzeitsystem, Formale Spezifikationstechnik, Programmverifikation
RVK: ST 234
Inhaltsverzeichnis
Schiffler, Ralf ¬[Verfasser]:
Quiver representations / Ralf Schiffler. - Cham ; Heideberg ; New York ; Dordrecht ; London : Springer, 2014. - xi, 230 : Diagramme. - (CMS Books in Mathematics)
ISBN 978-3-319-09203-4 - ISBN 978-3-319-09204-1
BV042454359
RVK: SK 230
Underwood, Robert G.:
Fundamentals of Hopf algebras / Robert G. Underwood. - Cham [u.a.] : Springer, 2015. - XIV, 150 S. : graph. Darst. - (Universitext)
ISBN 978-3-319-18990-1 - ISBN 978-3-319-18991-8
BV042753796
RVK: SK 230