Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(103)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Kumar, Vipin. editor. (orcid)0000-0002-9040-2665
(7)
Li, Keqiu. editor.
(7)
Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759
(7)
Dil
English
(104)
Yayın Yılı
-
Konu
Design and Analysis of Algorithms.
(93)
Computer networks .
(51)
Artificial intelligence.
(49)
Computer science -- Mathematics.
(42)
Computer Communication Networks.
(31)
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ç
104 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings için kapak resmi
Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings
Yazar 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-98740-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II için kapak resmi
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Yazar 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-98679-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I için kapak resmi
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Yazar 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-98668-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III için kapak resmi
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Yazar 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-98682-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV için kapak resmi
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Yazar 
Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-98685-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Applications of Computational Intelligence 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers için kapak resmi
Applications of Computational Intelligence 6th IEEE Colombian Conference, ColCACI 2023, Bogota, Colombia, July 26-28, 2023, Revised Selected Papers
Yazar 
Orjuela-Cañón, Alvaro David. editor. (orcid)0000-0002-2057-7603 Lopez, Jesus A. editor. (orcid)0000-0002-9731-8458 Arias-Londoño, Julián David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48415-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach için kapak resmi
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
Yazar 
Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6921-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part IV için kapak resmi
Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part IV
Yazar 
Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-0859-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part I için kapak resmi
Algorithms and Architectures for Parallel Processing 23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part I
Yazar 
Tari, Zahir. editor. Li, Keqiu. editor. Wu, Hongyi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-0834-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Toward Connected, Cooperative and Intelligent IoV Frontier Technologies and Applications için kapak resmi
Toward Connected, Cooperative and Intelligent IoV Frontier Technologies and Applications
Yazar 
Liu, Kai. author. Dai, Penglin. author. (orcid)0000-0002-3074-4620 Lee, Victor C.S. author. Ng, Joseph Kee-Yin. author. Son, Sang Hyuk. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-9647-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I için kapak resmi
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part I
Yazar 
Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-1711-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II için kapak resmi
Technologies and Applications of Artificial Intelligence 28th International Conference, TAAI 2023, Yunlin, Taiwan, December 1-2, 2023, Proceedings, Part II
Yazar 
Lee, Chao-Yang. editor. (orcid)0000-0003-3898-3551 Lin, Chun-Li. editor. Chang, Hsuan-Ting. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-1714-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç