Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(962)
Hung, Jason C. editor.
(9)
Chan, Yu-Wei. editor.
(8)
Pattanaik, Kiran Kumar. editor.
(8)
Verma, Anshul. editor.
(8)
Dil
English
(965)
Yayın Yılı
-
Konu
Computer networks .
(958)
Application software.
(355)
Computer and Information Systems Applications.
(355)
Artificial intelligence.
(336)
Software engineering.
(210)
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ç
965 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers
Yazar 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89211-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Computational Intelligence Methods for Bioinformatics and Biostatistics 18th International Meeting, CIBB 2023, Padova, Italy, September 6-8, 2023, Revised Selected Papers için kapak resmi
Computational Intelligence Methods for Bioinformatics and Biostatistics 18th International Meeting, CIBB 2023, Padova, Italy, September 6-8, 2023, Revised Selected Papers
Yazar 
Vettoretti, Martina. editor. (orcid)0000-0002-5020-1818 Tavazzi, Erica. editor. (orcid)0000-0001-6188-6413 Longato, Enrico. editor. (orcid)0000-0001-5940-645X Baruzzo, Giacomo. editor. (orcid)0000-0001-6129-5007 Bellato, Massimo. editor. (orcid)0000-0001-7428-0656
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90714-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Modelling and Development of Intelligent Systems 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers için kapak resmi
Modelling and Development of Intelligent Systems 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers
Yazar 
Simian, Dana. editor. (orcid)0000-0002-5210-1810 Stoica, Laura Florentina. editor. (orcid)0000-0002-4758-6606 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-87386-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
ICT Systems Security and Privacy Protection 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21-23, 2025, Proceedings, Part II için kapak resmi
ICT Systems Security and Privacy Protection 40th IFIP International Conference, SEC 2025, Maribor, Slovenia, May 21-23, 2025, Proceedings, Part II
Yazar 
Nemec Zlatolas, Lili. editor. (orcid)0000-0002-2086-9825 Rannenberg, Kai. editor. (orcid)0009-0000-6142-7161 Welzer, Tatjana. editor. (orcid)0000-0002-6865-4946 Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92886-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
HCI in Games 7th International Conference, HCI-Games 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings için kapak resmi
HCI in Games 7th International Conference, HCI-Games 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings
Yazar 
Fang, Xiaowen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-92578-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings için kapak resmi
Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings
Yazar 
Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94263-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Computational Data and Social Networks 13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings için kapak resmi
Computational Data and Social Networks 13th International Conference, CSoNet 2024, Bangkok, Thailand, December 16-18, 2024, Proceedings
Yazar 
Kertesz, Janos. editor. (orcid)0000-0003-4957-5406 Li, Bo. editor. (orcid)0000-0001-7500-8355 Supnithi, Thepchai. editor. Takhom, Akkharawoot. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-6389-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings
Yazar 
Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94634-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers için kapak resmi
Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers
Yazar 
Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94677-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Persuasive Technology 20th International Conference, PERSUASIVE 2025, Limassol, Cyprus, May 5-7, 2025, Proceedings için kapak resmi
Persuasive Technology 20th International Conference, PERSUASIVE 2025, Limassol, Cyprus, May 5-7, 2025, Proceedings
Yazar 
Win, Khin Than. editor. (orcid)0000-0002-7810-6388 Ali, Raian. editor. (orcid)0000-0002-5285-7829 Karapanos, Evangelos. editor. (orcid)0000-0001-5910-4996 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 Oyibo, Kiemute. editor. (orcid)0000-0001-8300-3343
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-94959-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç