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.
Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson
| Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / / editors, Jasmin Blanchette, Laura Kovács, Dirk Pattinson |
| Autore | Blanchette Jasmin |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (xv, 756 pages) : illustrations (some color) |
| Disciplina | 006.333 |
| Altri autori (Persone) |
BlanchetteJasmin
KovácsLaura PattinsonDirk <1970-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Automatic theorem proving
Computer logic |
| Soggetto non controllato |
artificial intelligence
automata theory computer hardware computer networks computer programming computer systems embedded systems formal languages formal logic logic programming network protocols semantics software architecture software design software engineering theoretical computer science |
| ISBN | 3-031-10769-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483156703316 |
Blanchette Jasmin
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
| Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers |
| Autore | Lu Wei |
| Pubbl/distr/stampa | Singapore, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (234 pages) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Coding theory & cryptology Network security Artificial intelligence Software Engineering |
| Soggetto non controllato |
artificial intelligence
authentication computer hardware computer networks computer security computer systems cryptography data communication systems data mining data security databases information retrieval network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| ISBN | 981-16-9229-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996464545403316 |
|
Lu Wei
|
||
| Singapore, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers
| Cyber Security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers |
| Autore | Lu Wei |
| Pubbl/distr/stampa | Singapore, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (234 pages) |
| Altri autori (Persone) |
ZhangYuqing
WenWeiping YanHanbing LiChao |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer networking & communications Coding theory & cryptology Network security Artificial intelligence Software Engineering Seguretat de les xarxes d'ordinadors Teoria de la codificació |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| Soggetto non controllato |
artificial intelligence
authentication computer hardware computer networks computer security computer systems cryptography data communication systems data mining data security databases information retrieval network protocols network security privacy signal processing telecommunication networks telecommunication systems |
| ISBN | 981-16-9229-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910522970803321 |
|
Lu Wei
|
||
| Singapore, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cyber Security [[electronic resource] ] : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers / / edited by Wei Lu, Qiaoyan Wen, Yuqing Zhang, Bo Lang, Weiping Wen, Hanbing Yan, Chao Li, Li Ding, Ruiguang Li, Yu Zhou
| Cyber Security [[electronic resource] ] : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers / / edited by Wei Lu, Qiaoyan Wen, Yuqing Zhang, Bo Lang, Weiping Wen, Hanbing Yan, Chao Li, Li Ding, Ruiguang Li, Yu Zhou |
| Autore | Lu Wei |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Springer Nature, 2020 |
| Descrizione fisica | 1 online resource (X, 235 p. 108 illus., 70 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer security
Computer communication systems Application software Architecture, Computer Data encryption (Computer science) Computer networks - Security measures Systems and Data Security Computer Communication Networks Information Systems Applications (incl. Internet) Computer System Implementation Cryptology Mobile and Network Security |
| Soggetto non controllato |
Systems and Data Security
Computer Communication Networks Information Systems Applications (incl. Internet) Computer System Implementation Cryptology Mobile and Network Security Data and Information Security Computer and Information Systems Applications communication channels (information theory) communication systems computer crime computer hardware computer networks computer security computer systems cryptography data communication systems data security databases network protocols network security sensors signal processing telecommunication networks telecommunication systems telecommunication traffic wireless telecommunication systems Network hardware Information retrieval Internet searching Systems analysis & design Coding theory & cryptology Data encryption |
| ISBN | 981-334-922-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Access Control -- Cryptography -- Denial-of-Service Attacks -- Hardware Security Implementation -- Intrusion/Anomaly Detection and Malware Mitigation -- Social Network Security and Privacy.-Systems Security. |
| Record Nr. | UNISA-996465362903316 |
|
Lu Wei
|
||
| Springer Nature, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Electronic Voting : 7th International Joint Conference, e-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings
| Electronic Voting : 7th International Joint Conference, e-Vote-ID 2022, Bregenz, Austria, October 4-7, 2022, Proceedings |
| Autore | Krimmer Robert |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (197 pages) |
| Altri autori (Persone) |
VolkamerMelanie
Duenas-CidDavid RønnePeter GermannMicha |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Coding theory & cryptology
Information retrieval Artificial intelligence Network security Computer security Network hardware |
| Soggetto non controllato |
artificial intelligence
communication communication systems computer crime computer hardware computer networks computer science computer security computer systems computer vision cryptography data security engineering fuzzy sets internet network protocols network security privacy signal processing telecommunication systems |
| ISBN | 3-031-15911-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996490356403316 |
|
Krimmer Robert
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
| Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings |
| Autore | Aloulou Hamdi |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (317 pages) |
| Altri autori (Persone) |
AbdulrazakBessam
de Marassé-EnoufAntoine MokhtariMounir |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Network hardware
Software Engineering Information retrieval User interface design & usability Computer vision Information technology: general issues |
| Soggetto non controllato |
architecture types
artificial intelligence communication systems computer hardware computer networks computer science computer systems engineering Human-Computer Interaction (HCI) internet Internet of Things (IoT) network protocols sensors signal processing software architecture software design software engineering telecommunication systems ubiquitous computing user interfaces |
| ISBN | 3-031-09593-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478861503316 |
|
Aloulou Hamdi
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings
| Participative Urban Health and Healthy Aging in the Age of AI : 19th International Conference, ICOST 2022, Paris, France, June 27-30, 2022, Proceedings |
| Autore | Aloulou Hamdi |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (317 pages) |
| Altri autori (Persone) |
AbdulrazakBessam
de Marassé-EnoufAntoine MokhtariMounir |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Network hardware
Software Engineering Information retrieval User interface design & usability Computer vision Information technology: general issues Intel·ligència artificial en medicina Informàtica mèdica |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| Soggetto non controllato |
architecture types
artificial intelligence communication systems computer hardware computer networks computer science computer systems engineering Human-Computer Interaction (HCI) internet Internet of Things (IoT) network protocols sensors signal processing software architecture software design software engineering telecommunication systems ubiquitous computing user interfaces |
| ISBN | 3-031-09593-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580293903321 |
|
Aloulou Hamdi
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Psychology, Learning, Technology : First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers
| Psychology, Learning, Technology : First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers |
| Autore | Limone Pierpaolo |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (154 pages) |
| Altri autori (Persone) |
Di FuccioRaffaele
TotoGiusi Antonia |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Information technology: general issues
Educational equipment & technology, computer-aided learning (CAL) Network hardware Expert systems / knowledge-based systems |
| Soggetto non controllato |
artificial intelligence
cognitive systems communication systems computer hardware computer networks data communication systems e-learning Human-Computer Interaction (HCI) information systems mobile computing network protocols online systems signal processing telecommunication networks wireless telecommunication systems |
| ISBN | 3-031-15845-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485663703316 |
|
Limone Pierpaolo
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Psychology, Learning, Technology : First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers
| Psychology, Learning, Technology : First International Conference, PLT 2022, Foggia, Italy, January 19-21, 2022, Revised Selected Papers |
| Autore | Limone Pierpaolo |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (154 pages) |
| Altri autori (Persone) |
Di FuccioRaffaele
TotoGiusi Antonia |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Information technology: general issues
Educational equipment & technology, computer-aided learning (CAL) Network hardware Expert systems / knowledge-based systems Educació Processament de dades Psicologia pedagògica Tecnologia educativa |
| Soggetto genere / forma |
Congressos
Llibres electrònics |
| Soggetto non controllato |
artificial intelligence
cognitive systems communication systems computer hardware computer networks data communication systems e-learning Human-Computer Interaction (HCI) information systems mobile computing network protocols online systems signal processing telecommunication networks wireless telecommunication systems |
| ISBN |
9783031158452
3031158458 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910588785703321 |
|
Limone Pierpaolo
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Security in computer and information sciences : second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, revised selected papers / / editors, Erol Gelenbe [et al.]
| Security in computer and information sciences : second International Symposium, EuroCybersec 2021, Nice, France, October 25-26, 2021, revised selected papers / / editors, Erol Gelenbe [et al.] |
| Autore | Gelenbe Erol <1945-> |
| Pubbl/distr/stampa | Cham, : Springer Nature, 2022 |
| Descrizione fisica | 1 online resource (145 pages) |
| Altri autori (Persone) |
JankovicMarija
KehagiasDionysios MartonAnna VilmosAndras |
| Collana | Communications in computer and information science |
| Soggetto topico |
Computer networks - Security measures
Computer security |
| Soggetto non controllato |
architecture types
artificial intelligence communication systems computer crime computer hardware computer networks computer security computer systems cryptography data security Internet of Things (IoT) network protocols network security signal processing software architecture software design software engineering telecommunication networks telecommunication systems |
| ISBN | 3-031-09357-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AI and Quality of Service Driven Attack Detection, Mitigation and Energy Optimization: A Review of Some EU Project Results Application of a Human-Centric Approach in Security by Design for IoT Architecture Development An Empirical Evaluation of the Usefulness of Word Embedding Techniques in Deep Learning-based Vulnerability Prediction Correlation-based Anomaly Detection for the CAN Bus Botnet Attack Detection with Incremental Online Learning Optimizing Energy Usage for an Electric Drone T-RAID: TEE-based Remote Attestation for IoT Devices Secure Authentication for everyone! Enabling 2nd-factor Authentication under Real-world constraints Energy, QoS and Security Aware Services at the Edge Mitigating the Massive Access Problem in the IoT |
| Record Nr. | UNISA-996478861203316 |
|
Gelenbe Erol <1945->
|
||
| Cham, : Springer Nature, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||