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
85. 
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:
86. 
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings için kapak resmi
Intelligent Computer Mathematics 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings
Yazar 
Kohlhase, Andrea. editor. (orcid)0000-0001-5384-6702 Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66997-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
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:
88. 
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:
89. 
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:
90. 
Business Process Management 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings için kapak resmi
Business Process Management 22nd International Conference, BPM 2024, Krakow, Poland, September 1-6, 2024, Proceedings
Yazar 
Marrella, Andrea. editor. (orcid)0000-0002-1031-0374 Resinas, Manuel. editor. (orcid)0000-0003-1575-406X Jans, Mieke. editor. (orcid)0000-0002-9171-2403 Rosemann, Michael. editor. (orcid)0000-0003-3303-2896 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70396-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings için kapak resmi
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Yazar 
Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72621-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings için kapak resmi
Swarm Intelligence 14th International Conference, ANTS 2024, Konstanz, Germany, October 9-11, 2024, Proceedings
Yazar 
Hamann, Heiko. editor. (orcid)0000-0002-2458-8289 Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Pérez Cáceres, Leslie. editor. (orcid)0000-0001-5553-6150 Reina, Andreagiovanni. editor. (orcid)0000-0003-4745-992X Kuckling, Jonas. editor. (orcid)0000-0003-2391-2275
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-70932-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
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:
Eylem Seç