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.
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
| Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| Autore | Ivrii Alexander |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2020 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato |
Formal Methods
Computer-Aided System Design Hardware and System Verification Formal Verification, Specification, Synthesis, and Testing Automated and Formal Reasoning |
| ISBN | 3-85448-042-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 Formal Methods in Computer Aided Design |
| Record Nr. | UNINA-9910485583803321 |
Ivrii Alexander
|
||
| Vienna, : TU Wien Academic Press, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNINA-9910504301503321 |
|
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
| Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 |
| Autore | Piskac Ruzica |
| Pubbl/distr/stampa | Vienna, : TU Wien Academic Press, 2021 |
| Descrizione fisica | 1 electronic resource (284 p.) |
| Collana | Conference Series: Formal Methods in Computer-Aided Design |
| Soggetto topico |
Systems analysis & design
Software testing & verification Computer architecture & logic design Mathematical theory of computation Artificial intelligence |
| Soggetto non controllato | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 Formal Methods in Computer Aided Design |
| Record Nr. | UNISA-996580848503316 |
|
Piskac Ruzica
|
||
| Vienna, : TU Wien Academic Press, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
| Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
| Autore | Panda Dhabaleswar K |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 004.11 |
| Altri autori (Persone) | SullivanMichael |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware |
| Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
| ISBN | 3-031-10419-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478861303316 |
|
Panda Dhabaleswar K
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
| Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings |
| Autore | Panda Dhabaleswar K |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (150 pages) |
| Disciplina | 004.11 |
| Altri autori (Persone) | SullivanMichael |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer networking & communications
Software Engineering Operating systems Computer architecture & logic design Network hardware Superordinadors |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| Soggetto non controllato |
cloud computing
computer networks computer programming computer systems CUDA distributed computer systems gpu gpus hpc microprocessor chips mpi parallel algorithms parallel architectures parallel processing systems parallel programming programming languages signal processing telecommunication systems algorithms high performance computing |
| ISBN | 3-031-10419-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580293303321 |
|
Panda Dhabaleswar K
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
