|
1061 |
Constraint solving for verification
Gupta, Ashutosh Kumar. - München : Universitätsbibliothek der TU München, 2011
|
|
|
|
1062 |
Constructive Reasoning for Semantic Wikis
Kotowski, Jakub. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
|
|
|
|
1063 |
Content management and protection using trusted computing and MPEG-21 technologies
Schreiner, Florian, 2011
|
|
|
|
1064 |
Contextual Social Networking
Groh, Georg. - München : Universitätsbibliothek der TU München, 2011
|
|
|
|
1065 |
Convex Variational Approaches to Image Motion Estimation, Denoising and Segmentation
Yuan, Jing. - Heidelberg : Universitätsbibliothek Heidelberg, 2011
|
|
|
|
1066 |
Coordination and learning in global software development
Boden, Alexander. - Siegen : Universitätsbibliothek der Universität Siegen, 2011
|
|
|
|
1067 |
Correspondence Estimation and Image Interpolation for Photo-Realistic Rendering
Linz, Christian. - Braunschweig : Technische Universität Braunschweig, 2011
|
|
|
|
1068 |
Cost-Based Optimization of Integration Flows
Böhm, Matthias. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
1069 |
Covers and Logarithmic Signatures of Finite Groups in Cryptography
Svaba, Pavol. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2011
|
|
|
|
1070 |
Customizable feature based design pattern recognition integrating multiple techniques
Rasool, Ghulam. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
Administration
