Arama Sonuçlarını Sınırlandır
Yazar
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(3)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Finkbeiner, Bernd. editor.
(3)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Dil
English
(325)
Yayın Yılı
-
Konu
Computer science.
(52)
Software engineering.
(43)
Artificial intelligence.
(36)
Computational intelligence.
(35)
Control engineering.
(33)
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ç
325 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. 
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:
3. 
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:
4. 
MDATA Cognitive Model: Theory and Applications için kapak resmi
MDATA Cognitive Model: Theory and Applications
Yazar 
Jia, Yan. editor. Gu, Zhaoquan. editor. Li, Aiping. editor. (orcid)0000-0003-3335-0093 Fang, Binxing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-3528-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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:
6. 
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:
7. 
Nonlinear Model Predictive Control Theory and Algorithms için kapak resmi
Nonlinear Model Predictive Control Theory and Algorithms
Yazar 
Grüne, Lars. author. Pannek, Jürgen. author. (orcid)0000-0001-5109-9627 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46024-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
Nonlinear Model Predictive Control Theory and Algorithms için kapak resmi
Nonlinear Model Predictive Control Theory and Algorithms
Yazar 
Grüne, Lars. Pannek, Jürgen. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-501-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Stochastic Two-Dimensional Microscopic Traffic Model Theory and Applications için kapak resmi
Stochastic Two-Dimensional Microscopic Traffic Model Theory and Applications
Yazar 
Qi, HongSheng. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-3597-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings için kapak resmi
Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Yazar 
Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93317-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Economic Model Predictive Control Theory, Formulations and Chemical Process Applications için kapak resmi
Economic Model Predictive Control Theory, Formulations and Chemical Process Applications
Yazar 
Ellis, Matthew. author. Liu, Jinfeng. author. Christofides, Panagiotis D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41108-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç