|
281 |
Algorithms for Efficient Top-Down Join Enumeration
Fender, Pit. - Mannheim : Universitätsbibliothek Mannheim, 2014
|
|
|
|
282 |
Analysis and Optimization of Resilient Routing in Core Communication Networks
Hock, David Rogér. - Würzburg : Universität Würzburg, 2014
|
|
|
|
283 |
Application and validation of capacitive proximity sensing systems in smart environments
Braun, Andreas. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
284 |
Applications of automata learning in verification and synthesis
Neider, Daniel. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
285 |
Attacking and Protecting Ring Oscillator Physical Unclonable Functions and Code-Offset Fuzzy Extractors
Merli, Dominik. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
286 |
Automatic abstraction for bit-vectors using decision procedures
Brauer, Jörg. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
287 |
Automatic generation of software applications
Liang, Dong. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014
|
|
|
|
288 |
Automatic Performance Engineering Workflows for High Performance Computing
Petkov, Ventsislav. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
289 |
Bridging the gap between precise RT-level power/timing estimation and fast high-level simulation
Hylla, Kai. - Oldenburg : BIS der Universität Oldenburg, 2014
|
|
|
|
290 |
Capturing the expressiveness of touch
Möllers, Maximilian Heinrich Gerhard. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
Administration
