Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(36)
Aalst, Wil M. editor.
(1)
Ajmone Marsan, Marco. editor.
(1)
Ardagna, Claudio Agostino. editor.
(1)
Avigad, Jeremy. editor.
(1)
Dil
Yayın Yılı
-
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ç
36 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings için kapak resmi
Wireless and Satellite Systems 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings
Yazar 
Pillai, Prashant. editor. Sithamparanathan, Kandeepan. editor. Giambene, Giovanni. editor. Vázquez, Miguel Ángel. editor. Mitchell, Paul Daniel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76571-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings için kapak resmi
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Yazar 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers için kapak resmi
Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers
Yazar 
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038 Ermolayev, Vadim. editor. (orcid)0000-0002-5159-254X Fill, Hans-Georg. editor. Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-76168-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings için kapak resmi
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
Yazar 
Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02768-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings için kapak resmi
NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Yazar 
Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-77935-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings için kapak resmi
Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings
Yazar 
Czachórski, Tadeusz. editor. (orcid)0000-0001-7158-0258 Gelenbe, Erol. editor. (orcid)0000-0001-9688-2201 Grochla, Krzysztof. editor. (orcid)0000-0001-6221-4790 Lent, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00840-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings için kapak resmi
Computer Performance Engineering 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Yazar 
Bakhshi, Rena. editor. Ballarini, Paolo. editor. Barbot, Benoît. editor. Castel-Taleb, Hind. editor. Remke, Anne. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-02227-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings için kapak resmi
New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Yazar 
Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-90421-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers için kapak resmi
Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers
Yazar 
Paul, Manoranjan. editor. Hitoshi, Carlos. editor. Huang, Qingming. editor. (orcid)0000-0002-9247-2763 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75786-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings için kapak resmi
5G for Future Wireless Networks First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Yazar 
Long, Keping. editor. Leung, Victor C.M. editor. Zhang, Haijun. editor. Feng, Zhiyong. editor. Li, Yonghui. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72823-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings için kapak resmi
Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Yazar 
Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94821-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Autonomic Computing Principles, Design and Implementation için kapak resmi
Autonomic Computing Principles, Design and Implementation
Yazar 
Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331115.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: