Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(96)
Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382
(6)
Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052
(6)
Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757
(6)
Kountcheva, Roumiana. editor.
(5)
Dil
Yayın Yılı
-
2025
(41)
2024
(33)
2017
(12)
2016
(10)
Konu
Artificial intelligence.
(23)
Computational intelligence.
(19)
Computer networks .
(14)
Computer science.
(14)
Software engineering.
(13)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
96 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings için kapak resmi
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Yazar 
Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71379-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers için kapak resmi
Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
Yazar 
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85930-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Road Survey and Design için kapak resmi
Road Survey and Design
Yazar 
Yu, Bin. author. Cheng, Jianchuan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-4836-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
The Dental Teacher A Reference Guide to Instructional Strategies and Evaluation Principles için kapak resmi
The Dental Teacher A Reference Guide to Instructional Strategies and Evaluation Principles
Yazar 
Baiju, R. M. editor. (orcid)0000-0002-9682-3209 Thomas, Sabu. editor. (orcid)0000-0003-4726-5746 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-07551-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I için kapak resmi
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Yazar 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Partitional Clustering via Nonsmooth Optimization Clustering via Optimization için kapak resmi
Partitional Clustering via Nonsmooth Optimization Clustering via Optimization
Yazar 
Bagirov, Adil. author. (orcid)0000-0003-2075-1699 Karmitsa, Napsu. author. Taheri, Sona. author. (orcid)0000-0003-1779-4567 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-76512-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
A Concise Introduction to Software Engineering With Open Source and GenAI için kapak resmi
A Concise Introduction to Software Engineering With Open Source and GenAI
Yazar 
Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Conventional and Contemporary Practices of Plant Breeding için kapak resmi
Conventional and Contemporary Practices of Plant Breeding
Yazar 
Ayiecho, Patrick O. author. (orcid)0009-0007-4309-4835 Nyabundi, Julius O. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-74998-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Proceedings of the Second International Conference on Artificial Intelligence and Communication Technologies (ICAICT 2024) Network Technologies, AI and DL, Volume 2 için kapak resmi
Proceedings of the Second International Conference on Artificial Intelligence and Communication Technologies (ICAICT 2024) Network Technologies, AI and DL, Volume 2
Yazar 
Jain, Lakhmi C. editor. Kountcheva, Roumiana. editor. Nakamatsu, Kazumi. editor. Patnaik, Srikanta. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-0096-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Optimization Strategies: A Decade of Metaheuristic Algorithm Development için kapak resmi
Optimization Strategies: A Decade of Metaheuristic Algorithm Development
Yazar 
Cuevas, Erik. author. (orcid)0000-0002-0358-6049 Chavarin-Fajardo, Angel. author. (orcid)0000-0002-7915-1885 Ascencio-Piña, Cesar. author. (orcid)0000-0001-7052-0026 Garcia-De-Lira, Sonia. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-81013-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Proceedings of the Second International Conference on Artificial Intelligence and Communication Technologies (ICAICT 2024) Smart Wireless Communications - Methods and Algorithms, Volume 1 için kapak resmi
Proceedings of the Second International Conference on Artificial Intelligence and Communication Technologies (ICAICT 2024) Smart Wireless Communications - Methods and Algorithms, Volume 1
Yazar 
Jain, Lakhmi C. editor. Kountcheva, Roumiana. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-0092-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç