Das Bauen mit dünnwandigen Bauelementen aus Stahl und Aluminium erlebte in der zweiten Hälfte des...
Revision with unchanged content. This work investigates the quantifier elimination problem in rea...
This is the first of two volumes that together provide an overview of the latest advances in the ...
This book constitutes the refereed proceedings of the 44th German Conference on Artificial Intell...
Dieses Lehrbuch bietet eine Darstellung der Finanzierungs- und Organisationsstruktur des deutsche...
This is the first of two volumes that together provide an overview of the latest advances in the ...