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
145. 
Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III için kapak resmi
Advanced Intelligent Computing Theories and Applications 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015. Proceedings, Part III
Yazar 
Huang, De-Shuang. editor. Han, Kyungsook. editor. SpringerLink (Online service)
Yer Numarası 
XX(519034.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22053-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar 
van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası 
XX(519137.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-48561-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. için kapak resmi
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Yazar 
Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası 
XX(519146.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
148. 
Optimal design for nonlinear response models için kapak resmi
Optimal design for nonlinear response models
Yazar 
Fedorov, V. V. (Valeri? Vadimovich) Leonov, Sergei L.
Yer Numarası 
ONLINE
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:
149. 
Blind source separation : theory and applications için kapak resmi
Blind source separation : theory and applications
Yazar 
Yu, Xianchuan, author. Hu, Dan, Ph.D., author. Xu, Jindong, author.
Yer Numarası 
ONLINE(341661.1)
Elektronik Erişim 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118679852
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
150. 
Algebraic identification and estimation methods in feedback control systems için kapak resmi
Algebraic identification and estimation methods in feedback control systems
Yazar 
Sira Ramírez, Hebertt J. García Rodríguez, Carlos. Cortés-Romero, John Luviano-Juaréz, Alberto
Yer Numarası 
ONLINE(341711.1)
Elektronik Erişim 
ebrary An electronic book accessible through the World Wide Web; click to view
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118730607.jpg
John Wiley http://dx.doi.org/10.1002/9781118730591
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
The Cambridge handbook of multimedia learning için kapak resmi
The Cambridge handbook of multimedia learning
Yazar 
Mayer, Richard E., 1947- editor.
Yer Numarası 
LB1028.5 .C283 2014
Elektronik Erişim 
https://doi.org/10.1017/CBO9781139547369
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
152. 
Physical biology of the cell için kapak resmi
Physical biology of the cell
Yazar 
Phillips, Rob, 1960- Kondev, Jane. Theriot, Julie. Garcia, Hernan G. Orme, Nigel.
Yer Numarası 
QU 375 P562 2013
Format: 
Durum 
Sağlık Bilimleri Kütüphanesi~1
Rafta:
Kopya:
153. 
Support vector machines optimization based theory, algorithms, and extensions için kapak resmi
Support vector machines optimization based theory, algorithms, and extensions
Yazar 
Deng, Naiyang. Tian, Yingjie, 1973- Zhang, Chunhua, 1978-
Yer Numarası 
ONLINE
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:
154. 
Game theory in communication networks cooperative resolution of interactive networking scenarios için kapak resmi
Game theory in communication networks cooperative resolution of interactive networking scenarios
Yazar 
Antoniou, Josephina. Pitsillides, A. (Andreas)
Yer Numarası 
ONLINE
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:
155. 
Kinetics and thermodynamics of fast particles in solids için kapak resmi
Kinetics and thermodynamics of fast particles in solids
Yazar 
Kashlev, Yurii.
Yer Numarası 
ONLINE
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:
156. 
Constitutive modeling of geomaterials principles and applications için kapak resmi
Constitutive modeling of geomaterials principles and applications
Yazar 
Nakai, Teruo.
Yer Numarası 
ONLINE
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:
Eylem Seç