Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(43)
Fraenkel, Abraham Adolf, 1891-1965.
(4)
Lipschutz, Seymour.
(4)
Jech, Thomas J.
(3)
Kunen, Kenneth.
(3)
Dil
Yayın Yılı
-
Konu
Set theory.
(49)
Logic, Symbolic and mathematical.
(18)
Mathematics.
(11)
Axiomatic set theory.
(10)
KÜME KURAMI.
(9)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
167 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
73. 
Schaum's outline of theory and problems of set theory and related topics için kapak resmi
Schaum's outline of theory and problems of set theory and related topics
Yazar 
Lipschutz, Seymour.
Yer Numarası 
QA 248 L6688 1964
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
74. 
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:
75. 
Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings için kapak resmi
Formal Concept Analysis 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Yazar 
Dürrschnabel, Dominik. editor. López Rodríguez, Domingo. editor. SpringerLink (Online service)
Yer Numarası 
XX(521020.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35949-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
76. 
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings için kapak resmi
Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings
Yazar 
Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Yer Numarası 
XX(521072.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40960-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
77. 
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:
78. 
Computers and Games International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers için kapak resmi
Computers and Games International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers
Yazar 
Browne, Cameron. editor. Kishimoto, Akihiro. editor. Schaeffer, Jonathan. editor. SpringerLink (Online service)
Yer Numarası 
XX(520871.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34017-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
79. 
Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings için kapak resmi
Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedings
Yazar 
Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)
Yer Numarası 
XX(520873.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38906-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
80. 
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:
81. 
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings için kapak resmi
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings
Yazar 
Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Yer Numarası 
XX(520823.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26689-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
82. 
Belirsizlik içeren küme teorilerine giriş için kapak resmi
Belirsizlik içeren küme teorilerine giriş
Yazar 
Atmaca, Serkan, author.
Yer Numarası 
QA248 A88 2023
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
83. 
Concise Guide to Software Verification From Model Checking to Annotation Checking için kapak resmi
Concise Guide to Software Verification From Model Checking to Annotation Checking
Yazar 
Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)
Yer Numarası 
XX(520525.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30167-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
84. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets