|
301 |
Automatic abstraction for bit-vectors using decision procedures
Brauer, Jörg. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
302 |
Automatic generation of software applications
Liang, Dong. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014
|
|
|
|
303 |
Automatic Performance Engineering Workflows for High Performance Computing
Petkov, Ventsislav. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
304 |
Bridging the gap between precise RT-level power/timing estimation and fast high-level simulation
Hylla, Kai. - Oldenburg : BIS der Universität Oldenburg, 2014
|
|
|
|
305 |
Calculating and Aggregating Direct Trust and Reputation in Organic Computing Systems
Kiefhaber, Rolf. - Augsburg : Universität Augsburg, 2014
|
|
|
|
306 |
Capturing the expressiveness of touch
Möllers, Maximilian Heinrich Gerhard. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
307 |
Casual Information Visualization on Exploring Spatiotemporal Data
Nguyen, Dinh Quyen. - Rostock : Universität Rostock, 2014
|
|
|
|
308 |
Clock Refinement in Imperative Synchronous Languages
Gemünde, Mike. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
309 |
Combined clustering of graph and attribute data
Boden, Brigitte. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014
|
|
|
|
310 |
Community based Question Answer Detection
Muthmann, Klemens. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2014
|
|
Administration
