|
921 |
Reachability in pushdown systems Dejvuth Suwimonteerabuth, 2009
|
|
|
922 |
Separation algorithms for cutting planes based on mixed integer row relaxations Christophel, Philipp M., 2009
|
|
|
923 |
Statistical analysis of global ocean wave and wind parameters retrieved with empirical SAR algorithms Song, Guiting, [2009]
|
|
|
924 |
Vektoren und Vektorprädikate und ihre Verwendung bei der Entwicklung relationaler Algorithmen Kehden, Britta. - Kiel : Universitätsbibliothek Kiel, 2009
|
|
|
925 |
Acceleration of medical imaging algorithms using programmable graphics hardware Schiwietz, Thomas, 2008
|
|
|
926 |
Acoustic simulation and visualization algorithms Deines, Eduard, 2008
|
|
|
927 |
Algorithms for energy efficiency in wireless sensor networks Busse, Marcel, [2008]
|
|
|
928 |
Algorithms for the calculation and visualisation of phylogenetic networks Klöpper, Tobias, 2008
|
|
|
929 |
Algorithms for the identification of b-quark jets with first data at CMS Scheurer, Armin, 2008
|
|
|
930 |
Algorithms for topology-aware sensor networks Kröller, Alexander, [2008]
|
|