|
9681 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
9682 |
Simulation-based simplification of omega-automata Fritz, Carsten, 2005
|
|
|
9683 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas. - Kaiserslautern : Fachbereich Informatik, Techn. Univ., 2005, Als Ms. gedr.
|
|
|
9684 |
Software-Qualitätssicherung durch Automatisierung Metzger, Andreas, [2005]
|
|
|
9685 |
Spatial cognition research Platzer, Edna, 2005
|
|
|
9686 |
Spatial cognition research Platzer, Edna. - Berlin : dissertation.de, 2005, Als Ms. gedr.
|
|
|
9687 |
Spatially adaptive detection of local disturbances in time series and stochastic processes on the integer lattice Z2 Halim, Siana, 2005
|
|
|
9688 |
Spatially adaptive detection of local disturbances in time series and stochastic processes on the integer lattice Z2 Halim, Siana, 2005
|
|
|
9689 |
Spectral properties of the kernel matrix and their relation to kernel methods in machine learning Braun, Mikio Ludwig, 2005
|
|
|
9690 |
Spectral properties of the kernel matrix and their relation to kernel methods in machine learning Braun, Mikio Ludwig, 2005
|
|