1
2

Software product and process quality improvement using formal methods

by: Mishra, Satish; Fischer, Joachim; Krieg-Brückner, Bernd; Schlingloff, Holger
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2015
Electronic Thesis
3

Light-induced energy and charge transfer processes in artificial photosynthetic systems

by: Menting, Raoul; Röder, Beate; Benson, Oliver; Brückner, Christian
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I, 2013
Electronic Thesis
4

Atomic scale in situ control of Si(100) and Ge(100) surfaces in CVD ambient

by: Brückner, Sebastian; Manzke, Recardo; Hannappel, Thomas; Schmidt, Wolf Gero
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I, 2014
Electronic Thesis
5

Three essays on the German capital market

by: Brückner, Roman; Stehle, Richard; Rocholl, Jörg
Humboldt-Universität zu Berlin, Wirtschaftswissenschaftliche Fakultät, 2013
Electronic Thesis
6
7

Return from the ant

by: Brückner, Sven; Burkhard, Hans-Dieter; Sundermeyer, Kurt; Parunak, Van Dyke
Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2000
Electronic Thesis
8
9
10
11
13
14
15
16
17
18
19
20

GPU-based large-scale visualization

Electronic Proceeding