Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(78)
Chockler, Hana. editor. (orcid)0000-0003-1219-0713
(2)
Hospodár, Michal. editor.
(2)
Jirásková, Galina. editor.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Dil
Yayın Yılı
-
Konu
Computer logic.
(56)
Software engineering.
(30)
Mathematical logic.
(28)
Programming languages (Electronic computers).
(14)
Computer science—Mathematics.
(13)
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ç
82 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings için kapak resmi
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Yazar 
Ong, Luke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11538363
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
AI-Enabled Threat Intelligence and Cyber Risk Assessment için kapak resmi
AI-Enabled Threat Intelligence and Cyber Risk Assessment
Yazar 
Martiri, Edlira, editor Vajjhala, Narasimha, 1978- editor. Dalipi, Fisnik, editor
Yer Numarası 
QA76.9 .A25
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003504979
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Computational intelligent techniques in mechatronics için kapak resmi
Computational intelligent techniques in mechatronics
Yazar 
Prakash, Kolla Bhanu, editor. Peddapelli, Satish Kumar, editor. Tam, Ivan CK, editor. Woo, Wai Lok, editor. Jain, Vishal, 1983- editor.
Yer Numarası 
TJ163.12 .C66 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175437
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Soft Computing for Security Applications Proceedings of ICSCS 2023 için kapak resmi
Soft Computing for Security Applications Proceedings of ICSCS 2023
Yazar 
Ranganathan, G. editor. EL Allioui, Youssouf. editor. Piramuthu, Selwyn. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-3608-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022 için kapak resmi
Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022
Yazar 
Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-5443-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Artificial intelligence and data analytics for exploration and production için kapak resmi
Artificial intelligence and data analytics for exploration and production
Yazar 
Aminzadeh, Fred, author. Temizel, Cenk, author. Hajizadeh, Yasin, author.
Yer Numarası 
Q335 .A45 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119879893
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Automation and computational intelligence for road maintenance and management : advances and applications için kapak resmi
Automation and computational intelligence for road maintenance and management : advances and applications
Yazar 
Zakeri, Hamzeh, author. Nejad, Fereidoon Moghadas, author. Gandomi, Amir Hossein, author.
Yer Numarası 
HD9717.5 .R62
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119800675
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings için kapak resmi
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Yazar 
Khan, Md. Aquil. editor. Manuel, Amaldev. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-58771-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers için kapak resmi
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Yazar 
Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-14174-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers için kapak resmi
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Yazar 
Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-37487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings için kapak resmi
DNA Computing and Molecular Programming 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings
Yazar 
Thachuk, Chris. editor. Liu, Yan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-26807-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings için kapak resmi
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Yazar 
Bernardi, Raffaella. editor. Kobele, Greg. editor. Pogodalla, Sylvain. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-59648-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç