|
721 |
Verifying probabilistic systems
Fu, Hongfei. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
722 |
Visualization Algorithms for Maps and Diagrams
Gemsa, Andreas. - Karlsruhe : KIT-Bibliothek, 2014
|
|
|
|
723 |
Wrapper algorithms and their performance assessment on high-dimensional molecular data
Bernau, Christoph. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2014
|
|
|
|
724 |
A compositional framework for Designing self-stabilizing distributed algorithms
Dhama, Abhishek. - Oldenburg : BIS der Universität Oldenburg, 2013
|
|
|
|
725 |
Adaption algorithms for mobile traffic offloading
Olp, Dominik. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2013
|
|
|
|
726 |
Algorithms and Concepts for Robust Optimization
Goerigk, Marc. - Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2013
|
|
|
|
727 |
Algorithms and Hardness Results for Object Nets
Heitmann, Frank Andreas. - Hamburg : Staats- und Universitätsbibliothek Hamburg, 2013
|
|
|
|
728 |
Algorithms for the Efficient Verification and Planning of Information Technology Change Operations
Hagen, Sebastian. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
729 |
Algorithms for vehicle navigation
Storandt, Sabine. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2013
|
|
|
|
730 |
Analysis and Design of Blockcipher Based Cryptographic Algorithms
Fleischmann, Ewan. - Weimar : Professur Mediensicherheit, 2013
|
|
Administration
