Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(298)
Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
(12)
Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142
(11)
Marcus, Aaron. editor.
(10)
Stephanidis, Constantine. editor.
(9)
Dil
English
(298)
Yayın Yılı
-
Konu
Computer science.
(215)
Artificial intelligence.
(111)
Computer Communication Networks.
(104)
Logic design.
(73)
Information systems.
(55)
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ç
298 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Artificial Intelligence and Applications 26th International Conference, ICAI 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
Artificial Intelligence and Applications 26th International Conference, ICAI 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 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-86623-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II için kapak resmi
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
Yazar 
Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-82703-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Data Science 20th International Conference, ICDATA 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
Data Science 20th International Conference, ICDATA 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 
Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85856-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 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
Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 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 
Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85902-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 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
Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 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 
Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85908-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings için kapak resmi
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Yazar 
Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-93706-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Computers and Their Applications 40th International Conference, CATA 2025, San Francisco, CA, USA, March 17-18, 2025, Proceedings için kapak resmi
Computers and Their Applications 40th International Conference, CATA 2025, San Francisco, CA, USA, March 17-18, 2025, Proceedings
Yazar 
Bandi, Ajay. editor. (orcid)0000-0003-2434-736X Hossain, Mohammad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92178-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings için kapak resmi
Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings
Yazar 
Arcaini, Paolo. editor. (orcid)0000-0002-6253-4062 Yue, Tao. editor. Fredericks, Erik M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-48796-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I için kapak resmi
Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I
Yazar 
Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56580-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II için kapak resmi
Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II
Yazar 
Goel, Sanjay. editor. (orcid)0000-0002-7164-8395 Nunes de Souza, Paulo Roberto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56583-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings için kapak resmi
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
Yazar 
Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-60698-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I için kapak resmi
HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I
Yazar 
Moallem, Abbas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-61379-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç