Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(108)
Agarwal, Sonali. editor.
(3)
Ekbal, Asif. editor.
(3)
Jatowt, Adam. editor.
(3)
Macpherson, Dugald.
(3)
Dil
Yayın Yılı
-
Konu
Model theory.
(18)
Computer science.
(15)
Mathematics.
(8)
Software engineering.
(8)
Logic, Symbolic and mathematical.
(7)
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ç
223 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
Music theory past papers 2014 : model answers için kapak resmi
Music theory past papers 2014 : model answers
Yazar 
Associated Board of the Royal Schools of Music
Yer Numarası 
MT7 A88 2014 V.1
Format: 
Durum 
Konservatuvar Kütüphanesi~8
Rafta:
Kopya:
18. 
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:
19. 
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:
20. 
Model of human occupation : theory and application için kapak resmi
Model of human occupation : theory and application
Yazar 
Kielhofner, Gary.
Yer Numarası 
WB 555 K47 2008
Format: 
Durum 
Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
21. 
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:
22. 
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings için kapak resmi
Theory and Practice of Model Transformations 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings
Yazar 
Kolovos, Dimitris. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Yer Numarası 
XX(519006.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21155-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Time and relational theory : temporal databases in the relational model and SQL için kapak resmi
Time and relational theory : temporal databases in the relational model and SQL
Yazar 
Date, C. J., author. Darwen, Hugh, author. Lorentzos, Nikos A., author.
Yer Numarası 
ONLINE(355582.1)
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780128006313
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings için kapak resmi
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Yazar 
Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08789-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç