Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(39)
Biere, Armin. editor.
(2)
Caro, Jaime. editor.
(2)
Kabassi, Katerina. editor.
(2)
Kacprzyk, Janusz. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computational intelligence.
(19)
Computer science.
(14)
Computer software.
(9)
Logic design.
(7)
Software engineering.
(7)
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ç
40 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Yazar 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
Yazar 
Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11814948
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Yazar 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137280
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers için kapak resmi
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Yazar 
Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11527695
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
ITNG 2023 20th International Conference on Information Technology-New Generations için kapak resmi
ITNG 2023 20th International Conference on Information Technology-New Generations
Yazar 
Latifi, Shahram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28332-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Embracing Machines and Humanity Through Cognitive Computing and IoT için kapak resmi
Embracing Machines and Humanity Through Cognitive Computing and IoT
Yazar 
Usman, Mohammed. editor. Gao, Xiao-Zhi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-4522-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Data Science in Applications için kapak resmi
Data Science in Applications
Yazar 
Dzemyda, Gintautas. editor. (orcid)0000-0003-2914-1328 Bernatavičienė, Jolita. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24453-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 2 için kapak resmi
Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023) Volume 2
Yazar 
Kabassi, Katerina. editor. Mylonas, Phivos. editor. Caro, Jaime. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44146-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022 için kapak resmi
Proceedings of 2nd International Conference on Artificial Intelligence, Robotics, and Communication ICAIRC 2022
Yazar 
Yadav, Sanjay. editor. Kumar, Harish. editor. Kankar, Pavan Kumar. editor. Dai, Wanyang. editor. Huang, Fenghua. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4554-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Elements of Data Science, Machine Learning, and Artificial Intelligence Using R için kapak resmi
Elements of Data Science, Machine Learning, and Artificial Intelligence Using R
Yazar 
Emmert-Streib, Frank. author. Moutari, Salissou. author. Dehmer, Matthias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-13339-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Proceedings of 2023 Chinese Intelligent Systems Conference Volume I için kapak resmi
Proceedings of 2023 Chinese Intelligent Systems Conference Volume I
Yazar 
Jia, Yingmin. editor. Zhang, Weicun. editor. Fu, Yongling. editor. Wang, Jiqiang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-6847-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023 için kapak resmi
Green Sustainability: Towards Innovative Digital Transformation Proceedings of ITAF 2023
Yazar 
Magdi, Dalia. editor. El-Fetouh, Ahmed Abou. editor. Mamdouh, Mohamed. editor. Joshi, Amit. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4764-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: