|
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 |
Run-time Reconfigurable Constant Multiplication on Field Programmable Gate Arrays
Möller, Konrad. - Kassel : Kassel University Press, 2017
|
|
|
|
4 |
Macroeconomic Forecast Evaluation Under Asymmetric Loss
Hoss, Julian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2016
|
|
|
|
5 |
On longest cycles in essentially 4-connected planar graphs
Fabrici, Igor. - Ilmenau : TU Ilmenau, 2016
|
|
|
|
6 |
Volatility Decomposition and Nonparametric Estimation of Spot Volatility of Models with Poisson Sampling under Market Microstructure Noise
Sophon Tunyavetchakit. - Heidelberg : Universitätsbibliothek Heidelberg, 2016
|
|
|
|
7 |
Towards a predictive computational growth model for aneurysms
Tinkl, Susanna Sabine. - München : Universitätsbibliothek der TU München, 2015
|
|
|
|
8 |
Efficient algorithms for asymmetric flow field flow fractionation
Nagapetyan, Tigran. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
9 |
Portfoliooptimierung im Binomialmodell
Kröner, Henriette. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
10 |
Shifted regime switching CIR diffusion tree for credit options
Weckend, Johannes. - Gießen : Universitätsbibliothek, 2014
|
|
Administration
