|
5261 |
Spatiotemporal structuring of compressed videos based on motion information Siripong Treetasanatavorn. - Aachen : Shaker, 2007
|
|
|
5262 |
Specification and seamless verification of embedded real-time systems Spichkova, Maria, 2007
|
|
|
5263 |
Specification and verification of mobile real-time systems Schäfer, Andreas. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2007
|
|
|
5264 |
Specification of optimizing document formatters Huber, Aurel, 2007
|
|
|
5265 |
Spherical techniques and their applications in a scene graph system: collision detection and occlusion culling Fünfzig, Christoph. - Göttingen : Cuvillier, 2007, 1. Aufl.
|
|
|
5266 |
Sprache und neue Medien Marterer, Julia Johanna. - Saarbrücken : VDM Verlag Dr. Müller, 2007
|
|
|
5267 |
Sprachsynthese und Spracherkennung mit gemeinsamen Datenbasen Eichner, Matthias. - Dresden : TUDpress, 2007
|
|
|
5268 |
Static code analysis in multi-threaded environments Ehrhardt, Christian, 2007
|
|
|
5269 |
Static detection of software errors Xie, Yichen. - Saarbrücken : VDM Verlag Dr. Müller, 2007
|
|
|
5270 |
Statische Typprüfung für objektorientierte Sprachen ohne Typannotationen am Beispiel Smalltalk Lesny, Christian. - München : Verl. Dr. Hut, 2007, 1. Aufl.
|
|