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.
HSCC '21 : Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control / / Sergiy Bogomolov, Raphaël Jungers
| HSCC '21 : Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control / / Sergiy Bogomolov, Raphaël Jungers |
| Autore | Bogomolov Sergiy |
| Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (300 pages) |
| Disciplina | 004.19 |
| Soggetto topico |
Hybrid computers
Hybrid systems |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Proceedings of the 24th International Conference on Hybrid Systems |
| Record Nr. | UNINA-9910510460903321 |
Bogomolov Sergiy
|
||
| New York, NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems / / Sergiy Bogomolov
| Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems / / Sergiy Bogomolov |
| Autore | Bogomolov Sergiy |
| Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (26 pages) |
| Disciplina | 004 |
| Soggetto topico | Electronic data processing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510450603321 |
|
Bogomolov Sergiy
|
||
| New York, New York : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||