|
8141 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
8142 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
8143 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas. - Kaiserslautern : Fachbereich Informatik, Techn. Univ., 2005, Als Ms. gedr.
|
|
|
8144 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]
|
|
|
8145 |
Spatial cognition research Platzer, Edna, 2005
|
|
|
8146 |
Spatial cognition research Platzer, Edna. - Berlin : dissertation.de, 2005, Als Ms. gedr.
|
|
|
8147 |
Spatially adaptive detection of local disturbances in time series and stochastic processes on the integer lattice Z2 Halim, Siana, 2005
|
|
|
8148 |
Spatially adaptive detection of local disturbances in time series and stochastic processes on the integer lattice Z2 Halim, Siana, 2005
|
|
|
8149 |
Spectral properties of the kernel matrix and their relation to kernel methods in machine learning Braun, Mikio Ludwig, 2005
|
|
|
8150 |
Spectral properties of the kernel matrix and their relation to kernel methods in machine learning Braun, Mikio Ludwig, 2005
|
|