Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(78)
Bertino, Elisa. editor. (orcid)0000-0002-4029-7051
(3)
Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X
(3)
Sun, Xingming. editor. (orcid)0000-0001-7982-726X
(3)
Beyah, Raheem. editor.
(2)
Dil
Yayın Yılı
-
2018
(78)
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ç
78 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
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:
50. 
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:
51. 
International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016 için kapak resmi
International Proceedings on Advances in Soft Computing, Intelligent Systems and Applications ASISA 2016
Yazar 
Reddy, M. Sreenivasa. editor. Viswanath, K. editor. K.M., Shiva Prasad. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-5272-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers için kapak resmi
Combinatorial Algorithms 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
Yazar 
Brankovic, Ljiljana. editor. (orcid)0000-0002-5056-4627 Ryan, Joe. editor. (orcid)0000-0002-7781-0306 Smyth, William F. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-78825-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers için kapak resmi
Approximation and Online Algorithms 15th International Workshop, WAOA 2017, Vienna, Austria, September 7–8, 2017, Revised Selected Papers
Yazar 
Solis-Oba, Roberto. editor. (orcid)0000-0002-7518-4161 Fleischer, Rudolf. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-89441-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
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:
55. 
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:
56. 
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings için kapak resmi
Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings
Yazar 
van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-93031-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Modelling and Verification of Secure Exams için kapak resmi
Modelling and Verification of Secure Exams
Yazar 
Giustolisi, Rosario. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67107-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
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:
59. 
Inside Radio: An Attack and Defense Guide için kapak resmi
Inside Radio: An Attack and Defense Guide
Yazar 
Yang, Qing. author. Huang, Lin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-8447-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers için kapak resmi
Algorithmic Aspects of Cloud Computing Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers
Yazar 
Alistarh, Dan. editor. Delis, Alex. editor. Pallis, George. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-74875-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets