Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(8)
Agarwal, Nitin. editor.
(1)
Bonjur, Jocelyn, editor.
(1)
Broniatowski, Michel, author.
(1)
Cagin, Tahir.
(1)
Dil
Yayın Yılı
-
Konu
Electronic books.
(3)
Computer science.
(2)
Logic, Symbolic and mathematical.
(2)
Model theory.
(2)
SCIENCE.
(2)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
26 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. 
Physical-layer security for 6G için kapak resmi
Physical-layer security for 6G
Yazar 
Mohapatra, Parthajit, editor. Pappas, Nikolaos, 1982- editor. Chorti, Arsenia, editor. Tomasin, Stefano, editor.
Yer Numarası 
TK5103.252 .P48 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394170944
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
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. 
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:
11. 
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:
12. 
Iterative learning control algorithms and experimental benchmarking için kapak resmi
Iterative learning control algorithms and experimental benchmarking
Yazar 
Rogers, E. T. A. (Eric Thomas Alexander), 1956- Chu, Bing, author. Freeman, Christopher, author. Lewin, Paul, author.
Yer Numarası 
TJ217.5 .R65 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781118535349
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets