Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
1. 
Information Security and Cryptology - ICISC 2022 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers için kapak resmi
Information Security and Cryptology - ICISC 2022 25th International Conference, ICISC 2022, Seoul, South Korea, November 30 - December 2, 2022, Revised Selected Papers
Yazar 
Seo, Seung-Hyun. editor. Seo, Hwajeong. editor. SpringerLink (Online service)
Yer Numarası 
XX(520920.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29371-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday için kapak resmi
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Yazar 
Haxthausen, Anne E. editor. Huang, Wen-ling. editor. Roggenbach, Markus. editor. SpringerLink (Online service)
Yer Numarası 
XX(521073.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40132-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings için kapak resmi
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Yazar 
Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Yer Numarası 
XX(521209.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V için kapak resmi
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Yazar 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Yer Numarası 
XX(521247.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6495-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part III için kapak resmi
Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part III
Yazar 
Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Yer Numarası 
XX(520273.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24978-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: