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
109. 
Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings için kapak resmi
Pan-African Artificial Intelligence and Smart Systems Second EAI International Conference, PAAISS 2022, Dakar, Senegal, November 2-4, 2022, Proceedings
Yazar 
Ngatched Nkouatchah, Telex Magloire. editor. Woungang, Isaac. editor. Tapamo, Jules-Raymond. editor. Viriri, Serestina. editor. SpringerLink (Online service)
Yer Numarası 
XX(520757.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-25271-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
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:
111. 
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:
112. 
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:
113. 
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers için kapak resmi
Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
Yazar 
Hojjat, Hossein. editor. Ábrahám, Erika. editor. SpringerLink (Online service)
Yer Numarası 
XX(521120.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
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:
115. 
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:
116. 
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:
117. 
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:
118. 
Threshold Decision-making in Clinical Medicine With Practical Application to Hematology and Oncology için kapak resmi
Threshold Decision-making in Clinical Medicine With Practical Application to Hematology and Oncology
Yazar 
Djulbegovic, Benjamin. author. Hozo, Iztok. author. SpringerLink (Online service)
Yer Numarası 
XX(521946.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-37993-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
Habitat suitability and distribution models : with applications in R için kapak resmi
Habitat suitability and distribution models : with applications in R
Yazar 
Guisan, A. (Antoine), author. Thuiller, Wilfried, author. Zimmermann, Niklaus E., author.
Yer Numarası 
QH323.5 .G85 2017
Elektronik Erişim 
https://doi.org/10.1017/9781139028271
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
120. 
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings için kapak resmi
Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings
Yazar 
Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Yer Numarası 
XX(518763.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-23485-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç