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. 
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:
64. 
Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks için kapak resmi
Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworks
Yazar 
Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)
Yer Numarası 
XX(520469.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33920-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 17th International Conference, ENASE 2022, Virtual Event, April 25-26, 2022, Revised Selected Papers
Yazar 
Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası 
XX(520493.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36597-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers için kapak resmi
Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers
Yazar 
You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)
Yer Numarası 
XX(520516.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4430-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
67. 
Artificial Intelligence: A Bridge Between Psychoanalysis and Neurology The Psi-Organ in a Nutshell için kapak resmi
Artificial Intelligence: A Bridge Between Psychoanalysis and Neurology The Psi-Organ in a Nutshell
Yazar 
Dietrich, Dietmar. author. SpringerLink (Online service)
Yer Numarası 
XX(520673.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30368-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
68. 
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings için kapak resmi
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies Second International Conference, MSBC 2022, Vilnius, Lithuania, September 21-23, 2022, Proceedings
Yazar 
Agarwal, Nitin. editor. Kleiner, George B. editor. Sakalauskas, Leonidas. editor. SpringerLink (Online service)
Yer Numarası 
XX(520677.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33728-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
69. 
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings için kapak resmi
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Yazar 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Yer Numarası 
XX(520682.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
70. 
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings için kapak resmi
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Yazar 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Yer Numarası 
XX(521140.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
71. 
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:
72. 
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:
Eylem Seç