Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(108)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Dil
Yayın Yılı
-
Konu
Model theory.
(18)
Computer science.
(15)
Mathematics.
(8)
Software engineering.
(8)
Logic, Symbolic and mathematical.
(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ç
223 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
97. 
Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings için kapak resmi
Smart Grid and Innovative Frontiers in Telecommunications 7th EAI International Conference, SmartGIFT 2022, Changsha, China, December 10-12, 2022, Proceedings
Yazar 
Yang, Hongming. editor. Fei, Jiang. editor. Qiang, Tang. editor. SpringerLink (Online service)
Yer Numarası 
XX(520410.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31733-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
98. 
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings için kapak resmi
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
Yazar 
Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)
Yer Numarası 
XX(520836.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29956-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
99. 
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings için kapak resmi
Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings
Yazar 
Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Yer Numarası 
XX(520865.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-32808-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
100. 
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings için kapak resmi
Modeling Decisions for Artificial Intelligence 20th International Conference, MDAI 2023, Umeå, Sweden, June 19-22, 2023, Proceedings
Yazar 
Torra, Vicenç. editor. Narukawa, Yasuo. editor. SpringerLink (Online service)
Yer Numarası 
XX(520868.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33498-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
101. 
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings için kapak resmi
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Yazar 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Yer Numarası 
XX(520890.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
102. 
Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers için kapak resmi
Computer Vision - ACCV 2022 Workshops 16th Asian Conference on Computer Vision, Macao, China, December 4-8, 2022, Revised Selected Papers
Yazar 
Zheng, Yinqiang. editor. Keleş, Hacer Yalim. editor. Koniusz, Piotr. editor. SpringerLink (Online service)
Yer Numarası 
XX(520893.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27066-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
103. 
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings için kapak resmi
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Yazar 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
XX(520898.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
104. 
Research in Computational Molecular Biology 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings için kapak resmi
Research in Computational Molecular Biology 27th Annual International Conference, RECOMB 2023, Istanbul, Turkey, April 16-19, 2023, Proceedings
Yazar 
Tang, Haixu. editor. SpringerLink (Online service)
Yer Numarası 
XX(520924.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29119-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
105. 
Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers için kapak resmi
Optimization and Applications 14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
Yazar 
Olenev, Nicholas. editor. (orcid) Evtushenko, Yuri. editor. Jaćimović, Milojica. editor. Khachay, Michael. editor. (orcid) Malkova, Vlasta. editor.
Yer Numarası 
XX(521325.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47859-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
106. 
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I için kapak resmi
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
Yazar 
Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)
Yer Numarası 
XX(520194.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23950-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
107. 
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II için kapak resmi
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
Yazar 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Yer Numarası 
XX(520319.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2446-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
108. 
Nursing: Health Education and Improving Patient Self-Management Intervention Mapping for Healthy Lifestyles için kapak resmi
Nursing: Health Education and Improving Patient Self-Management Intervention Mapping for Healthy Lifestyles
Yazar 
Sassen, Barbara. author. SpringerLink (Online service)
Yer Numarası 
XX(521553.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-11255-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç