Search Results for Security -- International

13.

Body Area Networks. Smart IoT and Big Data for Intelligent Health Management 18th EAI International Conference, BODYNETS 2024-A, Milan, Italy, February 5-6, 2024, Proceedings

Yazar

Mizmizi, Marouan. editor. (orcid)0000-0003-4157-2577 Magarini, Maurizio. editor. (orcid)0000-0001-9288-0452 Upadhyay, Prabhat Kumar. editor. (orcid)0000-0001-7636-5469 Pierobon, Massimiliano. editor. (orcid)0000-0003-1074-6925 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-72524-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

Intelligence Computation and Applications 14th International Symposium, ISICA 2023, Guangzhou, China, November 18-19, 2023, Revised Selected Papers, Part I

Yazar

Li, Kangshun. editor. (orcid)0000-0002-0429-446X Liu, Yong. editor. (orcid)0000-0002-4663-6739 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-4393-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50521-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I

Yazar

Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-50524-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers

Yazar

Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51057-1

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Mathematical Aspects of Computer and Information Sciences 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Yazar

Blömer, Johannes. editor. Kotsireas, Ilias S. editor. Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 Simos, Dimitris E. editor. (orcid)0000-0001-8588-1924 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-72453-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

Mathematics and Computing Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings

Yazar

Giri, Debasis. editor. Mohapatra, Ram N. editor. Begehr, Heinrich. editor. Obaidat, Mohammad S. editor. SpringerLink (Online service)