|
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 |
Formalization of logical calculi in Isabelle/HOL
Fleury, Mathias. - Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2020
|
|
|
|
3 |
Towards an Isabelle Theory for distributed, interactive systems
Stüber, Sebastian. - Düren : Shaker, 2020, 1. Auflage
|
|
|
|
4 |
Mathematisch begabte Fünft- und Sechstklässler
Sjuts, Britta. - Münster : WTM-Verlag, 2017, 1. Auflage
|
|
|
|
5 |
Run-time Reconfigurable Constant Multiplication on Field Programmable Gate Arrays
Möller, Konrad. - Kassel : Kassel University Press, 2017
|
|
|
|
6 |
Macroeconomic Forecast Evaluation Under Asymmetric Loss
Hoss, Julian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
7 |
Volatility Decomposition and Nonparametric Estimation of Spot Volatility of Models with Poisson Sampling under Market Microstructure Noise
Sophon Tunyavetchakit. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
8 |
Towards a predictive computational growth model for aneurysms
Tinkl, Susanna Sabine. - München : Universitätsbibliothek der TU München, 2015
|
|
|
|
9 |
Zur systematischen Ermittlung Hardware-geeigneter Zahlendarstellungen für Algorithmen der digitalen Signalverarbeitung
Blume, Steffen. - Aachen : Shaker, 2015, 1. Aufl.
|
|
|
|
10 |
Efficient algorithms for asymmetric flow field flow fractionation
Nagapetyan, Tigran. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
Administration
