Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(37)
Beyah, Raheem. editor.
(2)
Chang, Bing. editor.
(2)
Li, Yingjiu. editor.
(2)
Qing, Sihan. editor.
(2)
Dil
Yayın Yılı
-
2018
(37)
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ç
37 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings için kapak resmi
Information and Communications Security 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings
Yazar 
Naccache, David. editor. (orcid)0000-0002-8651-6555 Xu, Shouhuai. editor. (orcid)0000-0001-8034-0942 Qing, Sihan. editor. Samarati, Pierangela. editor. (orcid)0000-0001-7395-4620 Blanc, Gregory. editor. (orcid)0000-0001-8150-6617
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-01950-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89960-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings için kapak resmi
Machine Learning and Intelligent Communications Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings
Yazar 
Meng, Limin. editor. Zhang, Yan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00557-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings için kapak resmi
Information and Communications Security 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings
Yazar 
Qing, Sihan. editor. Mitchell, Chris. editor. Chen, Liqun. editor. Liu, Dongmei. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89500-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings için kapak resmi
Progress in Cryptology – AFRICACRYPT 2018 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7–9, 2018, Proceedings
Yazar 
Joux, Antoine. editor. Nitaj, Abderrahmane. editor. Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89339-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Quality, Reliability, Security and Robustness in Heterogeneous Systems 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017, Proceedings için kapak resmi
Quality, Reliability, Security and Robustness in Heterogeneous Systems 13th International Conference, QShine 2017, Dalian, China, December 16 -17, 2017, Proceedings
Yazar 
Wang, Lei. editor. Qiu, Tie. editor. Zhao, Wenbing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78078-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Yazar 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings için kapak resmi
Computing and Combinatorics 24th International Conference, COCOON 2018, Qing Dao, China, July 2-4, 2018, Proceedings
Yazar 
Wang, Lusheng. editor. Zhu, Daming. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-94776-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings için kapak resmi
Algorithmic Aspects in Information and Management 12th International Conference, AAIM 2018, Dallas, TX, USA, December 3–4, 2018, Proceedings
Yazar 
Tang, Shaojie. editor. Du, Ding-Zhu. editor. Woodruff, David. editor. Butenko, Sergiy. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04618-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings için kapak resmi
Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Yazar 
Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89722-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings için kapak resmi
Graph Transformation 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Yazar 
Lambers, Leen. editor. (orcid)0000-0001-6937-5167 Weber, Jens. editor. (orcid)0000-0003-4591-6728 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92991-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings için kapak resmi
WALCOM: Algorithms and Computation 12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
Yazar 
Rahman, M. Sohel. editor. (orcid)0000-0001-9419-6478 Sung, Wing-Kin. editor. Uehara, Ryuhei. editor. (orcid)0000-0003-0895-3765 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-75172-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: