Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(93)
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
Yayın Yılı
-
2025
(50)
2024
(41)
2023
(2)
Konu
Algorithms.
(93)
Artificial intelligence.
(46)
Computer networks .
(46)
Computer science -- Mathematics.
(38)
Computer Communication Networks.
(27)
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ç
93 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings için kapak resmi
Combinatorial Algorithms 35th International Workshop, IWOCA 2024, Ischia, Italy, July 1-3, 2024, Proceedings
Yazar 
Rescigno, Adele Anna. editor. (orcid)0000-0001-9124-610X Vaccaro, Ugo. editor. (orcid)0000-0003-4085-7300 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63021-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I için kapak resmi
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
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-65627-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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:
6. 
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:
7. 
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings için kapak resmi
Algorithmic Game Theory 17th International Symposium, SAGT 2024, Amsterdam, The Netherlands, September 3-6, 2024, Proceedings
Yazar 
Schäfer, Guido. editor. (orcid)0000-0002-1923-4902 Ventre, Carmine. editor. (orcid)0000-0003-1464-1215 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71033-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems için kapak resmi
Topological Obstructions to Stability and Stabilization History, Recent Advances and Open Problems
Yazar 
Jongeneel, Wouter. author. Moulay, Emmanuel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30133-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Resource Allocation in Network Function Virtualization Problems, Models and Algorithms için kapak resmi
Resource Allocation in Network Function Virtualization Problems, Models and Algorithms
Yazar 
Yang, Song. author. He, Nan. author. Li, Fan. author. Fu, Xiaoming. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-4815-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç