Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Controllability, Identification, and Randomness in Distributed Systems : Doctoral Thesis Accepted by the University of Washington, Washington, USA / Marzieh Nabi-Abdolyousefi
| Controllability, Identification, and Randomness in Distributed Systems : Doctoral Thesis Accepted by the University of Washington, Washington, USA / Marzieh Nabi-Abdolyousefi |
| Autore | Nabi-Abdolyousefi, Marzieh |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | xvii, 151 p. : ill. ; 24 cm |
| Soggetto topico |
93-XX - Systems theory; control [MSC 2020]
93B05 - Controllability [MSC 2020] 93E03 - Stochastic systems in control theory (general) [MSC 2020] |
| Soggetto non controllato |
Cartesian Product Networks
Circulant Networks Controllability Gramian Fault Detection Linear Quadratic Regulator Network Identification Network Tomography Node Knockout Path Networks Stochastic Systems Underwater Acoustic Ranging |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00132834 |
Nabi-Abdolyousefi, Marzieh
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Controllability, Identification, and Randomness in Distributed Systems : Doctoral Thesis Accepted by the University of Washington, Washington, USA / Marzieh Nabi-Abdolyousefi
| Controllability, Identification, and Randomness in Distributed Systems : Doctoral Thesis Accepted by the University of Washington, Washington, USA / Marzieh Nabi-Abdolyousefi |
| Autore | Nabi-Abdolyousefi, Marzieh |
| Edizione | [Cham : Springer, 2014] |
| Pubbl/distr/stampa | xvii, 151 p., : ill. ; 24 cm |
| Soggetto topico |
93B05 - Controllability [MSC 2020]
93-XX - Systems theory; control [MSC 2020] 93E03 - Stochastic systems in control theory (general) [MSC 2020] |
| Soggetto non controllato |
Cartesian Product Networks
Circulant Networks Controllability Gramian Fault Detection Linear Quadratic Regulator Network Identification Network Tomography Node Knockout Path Networks Stochastic Systems Underwater Acoustic Ranging |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0132834 |
|
Nabi-Abdolyousefi, Marzieh
|
||
| xvii, 151 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Verification-based software-fault detection
| Verification-based software-fault detection |
| Autore | Gladisch Christoph David |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2011 |
| Descrizione fisica | 1 electronic resource (XVII, 264 p. p.) |
| Soggetto non controllato |
Fault Detection
Model Generation Theorem Proving Test Generation Dynamic Logic |
| ISBN | 1000023002 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910688568603321 |
|
Gladisch Christoph David
|
||
| KIT Scientific Publishing, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||