Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(991)
Jansen, Klaus. editor.
(13)
Mayr, Ernst W. editor.
(10)
Du, Ding-Zhu. editor.
(8)
Vorozhtsov, Evgenii V. editor.
(8)
Dil
Yayın Yılı
-
Konu
Computational complexity.
(920)
Computer science.
(775)
Computer software.
(548)
Computer Communication Networks.
(237)
Artificial intelligence.
(223)
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ç
1069 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Sharding Blockchain: Fundamentals and Applications için kapak resmi
Sharding Blockchain: Fundamentals and Applications
Yazar 
Liu, Yizhong. author. Li, Dongyu. author. (orcid)0000-0001-8338-0536 Liu, Jianwei. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-3686-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 1) için kapak resmi
Genetic and Evolutionary Computing Proceedings of the Sixteenth International Conference on Genetic and Evolutionary Computing, August 28-30, 2024, Miyazaki, Japan (Volume 1)
Yazar 
Pan, Jeng-Shyang. editor. (orcid)0000-0002-3128-9025 Zin, Thi Thi. editor. Sung, Tien-Wen. editor. Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-1531-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Artificial Intelligence and Blockchain in Precision Medicine and Virology için kapak resmi
Artificial Intelligence and Blockchain in Precision Medicine and Virology
Yazar 
Chatterjee, Jyotir Moy. editor. Saxena, Shailendra K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-8919-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Quantum Machine Learning in Industrial Automation için kapak resmi
Quantum Machine Learning in Industrial Automation
Yazar 
Ghosh, Anupam. editor. Dutta, Soumi. editor. Das, Asit Kumar. editor. (orcid)0000-0002-9886-1735 Shukla, Vinod Kumar. editor. Moreira, Fernando. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-99786-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
5G technology : 3GPP evolution to 5G-advanced için kapak resmi
5G technology : 3GPP evolution to 5G-advanced
Yer Numarası 
TK5103.25 .A15 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119816058
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers için kapak resmi
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Yazar 
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7743-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings için kapak resmi
Algorithms and Discrete Applied Mathematics 10th International Conference, CALDAM 2024, Bhilai, India, February 15-17, 2024, Proceedings
Yazar 
Kalyanasundaram, Subrahmanyam. editor. Maheshwari, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52213-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings için kapak resmi
SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Yazar 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52113-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings için kapak resmi
WALCOM: Algorithms and Computation 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings
Yazar 
Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 Yamanaka, Katsuhisa. editor. Yen, Hsu-Chun. editor. (orcid)0000-0002-1764-1950 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-0566-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
5G Edge Computing Technologies, Applications and Future Visions için kapak resmi
5G Edge Computing Technologies, Applications and Future Visions
Yazar 
Ma, Xiao. author. (orcid)0000-0001-5742-8890 Xu, Mengwei. author. Li, Qing. author. Li, Yuanzhe. author. Zhou, Ao. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-0213-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume II), October 6-8, 2023, Kaohsiung, Taiwan için kapak resmi
Genetic and Evolutionary Computing Proceedings of the Fifteenth International Conference on Genetic and Evolutionary Computing (Volume II), October 6-8, 2023, Kaohsiung, Taiwan
Yazar 
Pan, Jeng-Shyang. editor. Pan, Zhigeng. editor. Hu, Pei. editor. (orcid)0000-0003-3711-4952 Lin, Jerry Chun-Wei. editor. (orcid)0000-0001-8768-9709 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-9412-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç