|
1181 |
Proof theory and algorithms for answer set programming Gebser, Martin. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2011
|
|
|
1182 |
Provable Protection of Confidential Data in Microkernel-Based Systems Völp, Marcus. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
1183 |
Prozessorientierte optimistisch-parallele Simulation Kunert, Andreas. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
|
|
|
1184 |
Qualitätsorientierter Entwurf von Anwendungsdiensten Gebhart, Michael, 2011
|
|
|
1185 |
Qualitätsorientierter Entwurf von Anwendungsdiensten Gebhart, Michael. - Karlsruhe : KIT Scientific Publishing, 2011
|
|
|
1186 |
Qualitative Distances and Qualitative Description of Images for Indoor Scene Description and Recognition in Robotics Falomir Llansola, Zoe. - Bremen : Staats- und Universitätsbibliothek Bremen, 2011
|
|
|
1187 |
Quality Goal Oriented Architectural Design and Traceability for Evolvable Software Systems Bode, Stephan. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
1188 |
Quantenoptisches Verfahren zur Erzeugung zufälliger Bitfolgen Fürst, Martin. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
|
|
|
1189 |
Quantitative modeling and analysis with FMC-QE Kluth, Stephan. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2011
|
|
|
1190 |
Quantitative MR Imaging of the Electric Properties and Local SAR based on Improved RF Transmit Field Mapping Voigt, Tobias. - Karlsruhe : KIT Scientific Publishing, 2011
|
|