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
85. 
Business Process Management Forum BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings için kapak resmi
Business Process Management Forum BPM 2023 Forum, Utrecht, The Netherlands, September 11-15, 2023, Proceedings
Yazar 
Di Francescomarino, Chiara. editor. Burattin, Andrea. editor. Janiesch, Christian. editor. Sadiq, Shazia. editor. SpringerLink (Online service)
Yer Numarası 
XX(520780.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-41623-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
86. 
Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II için kapak resmi
Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Yazar 
Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)
Yer Numarası 
XX(521027.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34609-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
87. 
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings için kapak resmi
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Yazar 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Yer Numarası 
XX(521127.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
88. 
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I için kapak resmi
Intelligent Systems 12th Brazilian Conference, BRACIS 2023, Belo Horizonte, Brazil, September 25-29, 2023, Proceedings, Part I
Yazar 
Naldi, Murilo C. editor. Bianchi, Reinaldo A. C. editor. SpringerLink (Online service)
Yer Numarası 
XX(521236.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45368-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
89. 
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings için kapak resmi
Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings
Yazar 
Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.
Yer Numarası 
XX(521271.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47262-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
90. 
Interactive Storytelling 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part I için kapak resmi
Interactive Storytelling 16th International Conference on Interactive Digital Storytelling, ICIDS 2023, Kobe, Japan, November 11-15, 2023, Proceedings, Part I
Yazar 
Holloway-Attaway, Lissa. editor. Murray, John T. editor. SpringerLink (Online service)
Yer Numarası 
XX(521276.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47655-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
91. 
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings için kapak resmi
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Yazar 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(521295.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
92. 
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings için kapak resmi
Mobile Web and Intelligent Information Systems 19th International Conference, MobiWIS 2023, Marrakech, Morocco, August 14-16, 2023, Proceedings
Yazar 
Younas, Muhammad. editor. Awan, Irfan. editor. Grønli, Tor-Morten. editor. SpringerLink (Online service)
Yer Numarası 
XX(521302.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39764-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
93. 
Worldwide Successful Pediatric Nurse-Led Models of Care için kapak resmi
Worldwide Successful Pediatric Nurse-Led Models of Care
Yazar 
Betz, Cecily L. editor. SpringerLink (Online service)
Yer Numarası 
XX(521442.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22152-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
94. 
Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 25th International Conference, DCCN 2022, Moscow, Russia, September 26-29, 2022, Revised Selected Papers
Yazar 
Vishnevskiy, Vladimir M. editor. Samouylov, Konstantin E. editor. Kozyrev, Dmitry V. editor. SpringerLink (Online service)
Yer Numarası 
XX(520232.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30648-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
95. 
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I için kapak resmi
International Conference on Neural Computing for Advanced Applications 4th International Conference, NCAA 2023, Hefei, China, July 7-9, 2023, Proceedings, Part I
Yazar 
Zhang, Haijun. editor. (orcid) Ke, Yinggen. editor. Wu, Zhou. editor. Hao, Tianyong. editor. Zhang, Zhao. editor.
Yer Numarası 
XX(520345.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5844-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
96. 
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers için kapak resmi
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Yazar 
Gibadullin, Arthur. editor. SpringerLink (Online service)
Yer Numarası 
XX(520219.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç