|
291 |
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils. - Paderborn : Universitätsbibliothek, 2013
|
|
|
|
292 |
Timing Analysable Synchronisation Techniques for Parallel Programs on Embedded Multi-Cores
Gerdes, Mike. - Augsburg : Universität Augsburg, 2013
|
|
|
|
293 |
Towards practical and fundamental limits of anonymity protection
Pham, Dang Vinh. - Regensburg : Universitätsbibliothek Regensburg, 2013
|
|
|
|
294 |
Tracing Requirements and Source Code During Software Development
Delater, Alexander. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
|
295 |
Transparente und hochperformante VHDL-Cosimulation im Kontext der virtuellen Maschine FAUmachine
Potyra, Stefan. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2013
|
|
|
|
296 |
User accessibility of web data
Zenz, Gideon. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2013
|
|
|
|
297 |
Variability Bugs in System Software
Sincero, Julio. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2013
|
|
|
|
298 |
A File System for Wireless Mesh Networks
Schleinzer, Benjamin. - Aachen : Shaker, 2012, 1. Aufl.
|
|
|
|
299 |
A Model Driven Approach for Service Based System Design Using Interaction Templates
Reichelt, Toni. - Chemnitz : Universitätsverlag Chemnitz, 2012
|
|
|
|
300 |
A unified approach to the development and usage of mobile agents
Kern, Steffen. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2012
|
|
Administration
