|
4671 |
Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - Aachen : RWTH, Fachgruppe Informatik, 2008
|
|
|
4672 |
Statistical issues in machine learning Strobl, Carolin. - Göttingen : Cuvillier, 2008, 1. Aufl.
|
|
|
4673 |
Statistical models for human body pose estimation from videos Jaeggli, Tobias. - Konstanz : Hartung-Gorre, 2008, 1. ed.
|
|
|
4674 |
Statistical pronunciation modeling for non-native speech processing Gruhn, Rainer, 2008
|
|
|
4675 |
Stereo-based 3D scene reconstruction for telepresence and teleaction Sarkis, Michel, 2008
|
|
|
4676 |
Strategy properties for cryptographic protocols Kähler, Detlef, 2008
|
|
|
4677 |
Structural self-organization in multi-agents and multi-robotic systems Kernbach, Serge. - Berlin : Logos-Verl., 2008
|
|
|
4678 |
Structure and dynamics of networks Weber, Sebastian, 2008
|
|
|
4679 |
Structures and algorithms for peer-to-peer cooperation Steiner, Moritz, 2008
|
|
|
4680 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar. - Berlin : Logos, 2008
|
|