Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(29)
Aleali, Ashkan. author.
(1)
Amine, Abdelmalek. editor.
(1)
Banerjee, Mohua. editor.
(1)
Beierle, Christoph. editor.
(1)
Dil
Konu
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ç
30 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Mathematical logic : A course with exercises için kapak resmi
Mathematical logic : A course with exercises
Yazar 
Cori, Rene. Lascar, Daniel, 1942- ort. yaz.
Yer Numarası 
QA 9 C742513 2000 PT.1
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
3. 
Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings için kapak resmi
Computer Science and Its Applications 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
Yazar 
Amine, Abdelmalek. editor. Bellatreche, Ladjel. editor. Elberrichi, Zakaria. editor. Neuhold, Erich J. editor. Wrembel, Robert. editor.
Yer Numarası 
XX(518503.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19578-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Computational Creativity Research: Towards Creative Machines için kapak resmi
Computational Creativity Research: Towards Creative Machines
Yazar 
Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)
Yer Numarası 
XX(518589.1)
Elektronik Erişim 
https://doi.org/10.2991/978-94-6239-085-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
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:
6. 
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings için kapak resmi
Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Yazar 
Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Yer Numarası 
XX(519043.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22102-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings için kapak resmi
Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings
Yazar 
Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)
Yer Numarası 
XX(519168.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21042-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers için kapak resmi
Membrane Computing 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Yazar 
Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Sempere, José M. editor. Zandron, Claudio. editor. SpringerLink (Online service)
Yer Numarası 
XX(519065.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28475-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings için kapak resmi
Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings
Yazar 
Luo, Yuhua. editor. SpringerLink (Online service)
Yer Numarası 
XX(519198.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-24132-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II için kapak resmi
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
Yazar 
Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Yer Numarası 
XX(519299.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-19369-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings için kapak resmi
Wireless Algorithms, Systems, and Applications 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings
Yazar 
Xu, Kuai. editor. Zhu, Haojin. editor. SpringerLink (Online service)
Yer Numarası 
XX(518831.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21837-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings için kapak resmi
ICT Systems Security and Privacy Protection 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015, Proceedings
Yazar 
Federrath, Hannes. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Yer Numarası 
XX(518684.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18467-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: