|
9621 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
9622 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
9623 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas. - Kaiserslautern : Fachbereich Informatik, Techn. Univ., 2005, Als Ms. gedr.
|
|
|
9624 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]
|
|
|
9625 |
Spatial cognition research Platzer, Edna, 2005
|
|
|
9626 |
Spatial cognition research Platzer, Edna. - Berlin : dissertation.de, 2005, Als Ms. gedr.
|
|
|
9627 |
Spatially adaptive detection of local disturbances in time series and stochastic processes on the integer lattice Z2 Halim, Siana, 2005
|
|
|
9628 |
Spatially adaptive detection of local disturbances in time series and stochastic processes on the integer lattice Z2 Halim, Siana, 2005
|
|
|
9629 |
Spectral properties of the kernel matrix and their relation to kernel methods in machine learning Braun, Mikio Ludwig, 2005
|
|
|
9630 |
Spectral properties of the kernel matrix and their relation to kernel methods in machine learning Braun, Mikio Ludwig, 2005
|
|