Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(51)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Kumar, Vipin. editor. (orcid)0000-0002-9040-2665
(7)
Spiliopoulou, Myra. editor. (orcid)0000-0002-1828-5759
(7)
Wang, Can. editor. (orcid)0000-0002-2890-0057
(7)
Dil
Yayın Yılı
-
2025
(29)
2024
(22)
Konu
Algorithms.
(51)
Artificial intelligence.
(46)
Computer networks .
(24)
Computer science -- Mathematics.
(22)
Computer Communication Networks.
(21)
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ç
51 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II için kapak resmi
Algorithms and Complexity 14th International Conference, CIAC 2025, Rome, Italy, June 10-12, 2025, Proceedings, Part II
Yazar 
Finocchi, Irene. editor. (orcid)0000-0002-6394-6798 Georgiadis, Loukas. editor. (orcid)0000-0002-9706-7409 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92935-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
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:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers için kapak resmi
Combinatorial Optimization 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers
Yazar 
Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 Mahjoub, Ali Ridha. editor. (orcid)0000-0002-1079-1892 Salazar González, Juan José. editor. (orcid)0000-0001-5683-0271 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60924-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Intelligent Optimization Principles, Algorithms and Applications için kapak resmi
Intelligent Optimization Principles, Algorithms and Applications
Yazar 
Li, Changhe. author. Han, Shoufei. author. (orcid)0000-0003-3583-7735 Zeng, Sanyou. author. Yang, Shengxiang. author. (orcid)0000-0001-7222-4917 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-3286-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings için kapak resmi
Advances in Neural Networks - ISNN 2024 18th International Symposium on Neural Networks, Weihai, China, July 11-14, 2024, Proceedings
Yazar 
Le, Xinyi. editor. (orcid)0000-0003-0318-9497 Zhang, Zhijun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-4399-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II için kapak resmi
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65630-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Web and Internet Economics 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings için kapak resmi
Web and Internet Economics 19th International Conference, WINE 2023, Shanghai, China, December 4-8, 2023, Proceedings
Yazar 
Garg, Jugal. editor. Klimm, Max. editor. Kong, Yuqing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48974-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III için kapak resmi
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-65633-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç