Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(181)
Garau, Chiara. editor. (orcid)
(4)
Gervasi, Osvaldo. editor. (orcid)
(4)
Murgante, Beniamino. editor. (orcid)
(4)
Abdelnour Nocera, José. editor.
(3)
Dil
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
186 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
181. 
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings için kapak resmi
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Yazar 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası 
XX(520984.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Artificial Intelligence in Medicine 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12-15, 2023, Proceedings için kapak resmi
Artificial Intelligence in Medicine 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12-15, 2023, Proceedings
Yazar 
Juarez, Jose M. editor. Marcos, Mar. editor. Stiglic, Gregor. editor. Tucker, Allan. editor. SpringerLink (Online service)
Yer Numarası 
XX(520986.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34344-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers için kapak resmi
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
Yazar 
Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Yer Numarası 
XX(520990.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35190-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers için kapak resmi
Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
Yazar 
Stajano, Frank. editor. Matyáš, Vashek. editor. Christianson, Bruce. editor. Anderson, Jonathan. editor. SpringerLink (Online service)
Yer Numarası 
XX(521253.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43033-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings için kapak resmi
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Yazar 
Milius, Birgit. editor. Collart-Dutilleul, Simon. editor. Lecomte, Thierry. editor. SpringerLink (Online service)
Yer Numarası 
XX(521180.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43366-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings için kapak resmi
Web Services - ICWS 2023 30th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023, Proceedings
Yazar 
Zhang, Yuchao. editor. Zhang, Liang-Jie. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(521181.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44836-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç