Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(163)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Dil
English
(255)
Yayın Yılı
-
Konu
Computational intelligence.
(18)
Computer science.
(16)
Model theory.
(15)
Artificial intelligence.
(13)
Control engineering.
(12)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
255 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Model theory için kapak resmi
Model theory
Yazar 
Chang, Chen Chung, 1927- Keisler, H. Jerome.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444880543
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. 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:
3. 
Model Theory and Applications için kapak resmi
Model Theory and Applications
Yazar 
Mangani, P. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11121-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Institution-independent Model Theory için kapak resmi
Institution-independent Model Theory
Yazar 
Diaconescu, Răzvan. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7643-8708-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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:
6. 
A course in model theory için kapak resmi
A course in model theory
Yazar 
Tent, Katrin, 1963- Ziegler, Martin.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=438561
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Constraint Theory Multidimensional Mathematical Model Management için kapak resmi
Constraint Theory Multidimensional Mathematical Model Management
Yazar 
Friedman, George J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-27650-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Large infinitary languages model theory için kapak resmi
Large infinitary languages model theory
Yazar 
Dickmann, M. A., 1940-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444106223
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Intuitionistic logic, model theory and forcing için kapak resmi
Intuitionistic logic, model theory and forcing
Yazar 
Fitting, Melvin, 1942-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534187
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Elements of mathematical logic (Model theory) için kapak resmi
Elements of mathematical logic (Model theory)
Yazar 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Model Based Parameter Estimation Theory and Applications için kapak resmi
Model Based Parameter Estimation Theory and Applications
Yazar 
Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Yer Numarası 
ONLINE(333324.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30367-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç