Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(8)
Agarwal, Nitin. editor.
(1)
Allan, Kathryn, contributor.
(1)
Allan, Kathryn, editor.
(1)
Cagin, Tahir.
(1)
Dil
Yayın Yılı
-
Konu
Computer science.
(2)
Logic, Symbolic and mathematical.
(2)
Model theory.
(2)
Algebra, Boolean -- Outlines, syllabi, etc.
(1)
Algorithms -- Outlines, syllabi, etc.
(1)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
17 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Finite Model Theory için kapak resmi
Finite Model Theory
Yazar 
Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-28788-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Finite model theory için kapak resmi
Finite model theory
Yazar 
Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg.
Yer Numarası 
QA9.7 E23 1999
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
3. 
Finite and Algorithmic Model Theory için kapak resmi
Finite and Algorithmic Model Theory
Yazar 
Esparza, Javier. Michaux, Christian. Steinhorn, Charles.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Finite Model Theory and Its Applications için kapak resmi
Finite Model Theory and Its Applications
Yazar 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers için kapak resmi
Model theory for infinitary logic logic with countable conjunctions and finite quantifiers
Yazar 
Keisler, H. Jerome.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422580
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33728-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022 için kapak resmi
Model Validation and Uncertainty Quantification, Volume 3 Proceedings of the 40th IMAC, A Conference and Exposition on Structural Dynamics 2022
Yazar 
Mao, Zhu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-04090-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings için kapak resmi
Relational and Algebraic Methods in Computer Science 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
Yazar 
Glück, Roland. editor. Santocanale, Luigi. editor. Winter, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28083-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42441-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Vibration Engineering and Technology of Machinery, Volume I Select Proceedings of VETOMAC XVI 2021 için kapak resmi
Vibration Engineering and Technology of Machinery, Volume I Select Proceedings of VETOMAC XVI 2021
Yazar 
Tiwari, Rajiv. editor. Ram Mohan, Y. S. editor. Darpe, Ashish K. editor. Kumar, V. Arun. editor. Tiwari, Mayank. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-4721-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Electric machines modeling, condition monitoring, and fault diagnosis için kapak resmi
Electric machines modeling, condition monitoring, and fault diagnosis
Yazar 
Toliyat, Hamid A.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets