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
25. 
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos için kapak resmi
A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos
Yazar 
Nourani, Cyrus F., author.
Yer Numarası 
ONLINE(357094.1)
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:
26. 
Liquid glass transition : a unified theory from the two band model için kapak resmi
Liquid glass transition : a unified theory from the two band model
Yazar 
Kitamura, Toyoyuki, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124071773
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Disequilibrium, polarization, and crisis model an international relations theory explaining conflict için kapak resmi
Disequilibrium, polarization, and crisis model an international relations theory explaining conflict
Yazar 
Dierauer, Isabelle.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578748
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Mathematical Finance: Theory Review and Exercises From Binomial Model to Risk Measures için kapak resmi
Mathematical Finance: Theory Review and Exercises From Binomial Model to Risk Measures
Yazar 
Gianin, Emanuela Rosazza. author. Sgarra, Carlo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332862.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-01357-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings için kapak resmi
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Yazar 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334691.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Explicit Nonlinear Model Predictive Control Theory and Applications için kapak resmi
Explicit Nonlinear Model Predictive Control Theory and Applications
Yazar 
Grancharova, Alexandra. author. Johansen, Tor Arne. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-28780-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings için kapak resmi
Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Yazar 
Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30476-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1. için kapak resmi
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 1.
Yazar 
Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 2. için kapak resmi
Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry Volume 2.
Yazar 
Cluckers, Raf. Nicaise, Johannes. Sebag, Julien.
Yer Numarası 
ONLINE
Elektronik Erişim 
Access by subscription
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings için kapak resmi
Theory and Practice of Model Transformations 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings
Yazar 
Cabot, Jordi. editor. Visser, Eelco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21732-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Economic Growth in the Regions of Europe Theory and Empirical Evidence from a Spatial Growth Model için kapak resmi
Economic Growth in the Regions of Europe Theory and Empirical Evidence from a Spatial Growth Model
Yazar 
Sardadvar, Sascha. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-7908-2637-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Mathematical Logic and Model Theory A Brief Introduction için kapak resmi
Mathematical Logic and Model Theory A Brief Introduction
Yazar 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç