|
411 |
Application and validation of capacitive proximity sensing systems in smart environments
Braun, Andreas. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
412 |
Applications of automata learning in verification and synthesis
Neider, Daniel. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
413 |
Applications of Computational Topology to the Visualization of Scalar Fields
Kotava, Natallia. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
414 |
Applications of matching theory in constraint programming
Cymer, Radosław. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2014
|
|
|
|
415 |
Attacking and Protecting Ring Oscillator Physical Unclonable Functions and Code-Offset Fuzzy Extractors
Merli, Dominik. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
416 |
Automatic abstraction for bit-vectors using decision procedures
Brauer, Jörg. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
417 |
Automatic generation of software applications
Liang, Dong. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014
|
|
|
|
418 |
Automatic Performance Engineering Workflows for High Performance Computing
Petkov, Ventsislav. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
419 |
Automatic Performance Engineering Workflows for High Performance Computing
Petkov, Ventsislav. - München : Verlag Dr. Hut, 2014
|
|
|
|
420 |
Automatic Speech Recognition for Low-resource Languages and Accents Using Multilingual and Crosslingual Information
Vu, Ngoc Thang. - Aachen : Shaker, 2014, 1. Aufl.
|
|
Administration
