|
1 |
Modelling and solving the integrated locomotive scheduling and driver assignment problem with an extension to graph 2-list-colouring problem with compatibility constraints
Staszek, Jonasz. - Erlangen : FAU University Press, 2023
|
|
|
2 |
Modelling and solving the integrated locomotive scheduling and driver assignment problem with an extension to graph 2-list-colouring problem with compatibility constraints
Staszek, Jonasz. - Erlangen : FAU University Press, 2023
|
|
|
|
3 |
Formalization of logical calculi in Isabelle/HOL
Fleury, Mathias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020
|
|
|
|
4 |
The concept of transprecision computing
Scheidegger, Florian. - Konstanz : Hartung-Gorre Verlag, 2020, First edition
|
|
|
|
5 |
Towards an Isabelle Theory for distributed, interactive systems
Stüber, Sebastian. - Düren : Shaker, 2020, 1. Auflage
|
|
|
|
6 |
Learning strategies in engineering mathematics
Griese, Birgit. - Wiesbaden : Springer Spektrum, [2017]
|
|
|
|
7 |
Mathematisch begabte Fünft- und Sechstklässler
Sjuts, Britta. - Münster : WTM-Verlag, 2017, 1. Auflage
|
|
|
|
8 |
Mathematisch begabte Fünft- und Sechstklässler
Sjuts, Britta. - Münster : WTM, Verlag für wissenschaftliche Texte und Medien, [2017], 1. Auflage
|
|
|
|
9 |
Run-time reconfigurable constant multiplication on field programmable gate arrays
Möller, Konrad. - Kassel : Kassel University Press, [2017]
|
|
|
|
10 |
Run-time Reconfigurable Constant Multiplication on Field Programmable Gate Arrays
Möller, Konrad. - Kassel : Kassel University Press, 2017
|
|
Administration
