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
61. 
Introduction to model theory and to the metamathematics of algebra için kapak resmi
Introduction to model theory and to the metamathematics of algebra
Yazar 
Robinson, Abraham, 1918-1974.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533975
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Mathematical logic : A course with exercises için kapak resmi
Mathematical logic : A course with exercises
Yazar 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası 
QA 9 C742513 2000 PT.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
63. 
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:
64. 
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:
65. 
Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings için kapak resmi
Soft Computing and Its Engineering Applications 4th International Conference, icSoftComp 2022, Changa, Anand, India, December 9-10, 2022, Proceedings
Yazar 
Patel, Kanubhai K. editor. Santosh, K. C. editor. Patel, Atul. editor. Ghosh, Ashish. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520296.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27609-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
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:
67. 
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:
68. 
Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers için kapak resmi
Active Inference Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
Yazar 
Buckley, Christopher L. editor. Cialfi, Daniela. editor. Lanillos, Pablo. editor. Ramstead, Maxwell. editor. Sajid, Noor. editor.
Yer Numarası 
XX(520369.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28719-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I için kapak resmi
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part I
Yazar 
Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)
Yer Numarası 
XX(520370.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28787-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings için kapak resmi
Context-Aware Systems and Applications 11th EAI International Conference, ICCASA 2022, Vinh Long, Vietnam, October 27-28, 2022, Proceedings
Yazar 
Phan, Cong Vinh. editor. (orcid) Nguyen, Thanh Dung. editor. SpringerLink (Online service)
Yer Numarası 
XX(520374.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28816-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
Introduction to Transfer Learning Algorithms and Practice için kapak resmi
Introduction to Transfer Learning Algorithms and Practice
Yazar 
Wang, Jindong. author. Chen, Yiqiang. author. SpringerLink (Online service)
Yer Numarası 
XX(520394.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-7584-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
72. 
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V için kapak resmi
Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V
Yazar 
Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Yer Numarası 
XX(520402.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-1642-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç