HASE 2019 : 19th IEEE International Symposium on High Assurance Systems Engineering : proceedings, Hangzhou, China, 3-5 January 2019 / / edited by Dongjin Yu, Vu Nguyen, Congfeng Jiang ; sponsored by IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (256 pages) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Computer input-output equipment |
ISBN | 1-5386-8540-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910315257403321 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
HASE 2019 : 19th IEEE International Symposium on High Assurance Systems Engineering : proceedings, Hangzhou, China, 3-5 January 2019 / / edited by Dongjin Yu, Vu Nguyen, Congfeng Jiang ; sponsored by IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (256 pages) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Computer input-output equipment |
ISBN | 1-5386-8540-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996577842303316 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
High-Performance Computing Applications in Numerical Simulation and Edge Computing : ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers / / edited by Changjun Hu, Wen Yang, Congfeng Jiang, Dong Dai |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (X, 247 p. 106 illus., 68 illus. in color.) |
Disciplina | 004.3 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Computer communication systems
Software engineering Logic design Application software Artificial intelligence Computer security Computer Communication Networks Software Engineering Logic Design Information Systems Applications (incl. Internet) Artificial Intelligence Systems and Data Security |
ISBN | 981-329-987-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910349285003321 |
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|