Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(47)
Calinescu, Radu. editor.
(2)
Filipe, Joaquim. editor.
(2)
Rumpe, Bernhard. editor.
(2)
Akbulut, Berrin.
(1)
Dil
Konu
Administrative law -- Turkey.
(1)
Aileler, sinemada.
(1)
Alzheimer Hastalığı -- Hastalar -- Aile ilişkileri -- Drama.
(1)
Alzheimer's disease -- Patients -- Family relationships -- Drama.
(1)
Androids -- Drama.
(1)
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ç
65 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Yazar 
Proietti, Maurizio. editor. Seki, Hirohisa. editor. SpringerLink (Online service)
Yer Numarası 
XX(518775.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17822-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Yazar 
Liu, Shaoying. editor. Duan, Zhenhua. editor. SpringerLink (Online service)
Yer Numarası 
XX(518798.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-17404-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings için kapak resmi
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Yazar 
Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
XX(518840.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22969-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
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:
6. 
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Yazar 
Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası 
XX(519136.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-46675-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I için kapak resmi
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Yazar 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
XX(519079.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings için kapak resmi
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
Yazar 
Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Yer Numarası 
XX(519104.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21215-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Multiple Classifier Systems 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings için kapak resmi
Multiple Classifier Systems 12th International Workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, Proceedings
Yazar 
Schwenker, Friedhelm. editor. Roli, Fabio. editor. Kittler, Josef. editor. SpringerLink (Online service)
Yer Numarası 
XX(519106.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-20248-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers için kapak resmi
Agents and Artificial Intelligence 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers
Yazar 
Duval, Béatrice. editor. van den Herik, Jaap. editor. Loiseau, Stephane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası 
XX(519119.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27947-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings için kapak resmi
Algorithms and Complexity 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings
Yazar 
Paschos, Vangelis Th. editor. Widmayer, Peter. editor. SpringerLink (Online service)
Yer Numarası 
XX(519245.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-18173-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers için kapak resmi
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Yazar 
Bianculli, Domenico. editor. Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası 
XX(519205.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49224-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç