Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
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ç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULT_TR
Yazdır
1. 
Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers için kapak resmi
Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
Yazar 
Stajano, Frank. editor. Matyáš, Vashek. editor. Christianson, Bruce. editor. Anderson, Jonathan. editor. SpringerLink (Online service)
Yer Numarası 
XX(521253.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43033-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers için kapak resmi
Adaptive Resource Management and Scheduling for Cloud Computing Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers
Yazar 
Pop, Florin. editor. Potop-Butucaru, Maria. editor. SpringerLink (Online service)
Yer Numarası 
XX(518782.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28448-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I için kapak resmi
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Yazar 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
XX(519007.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: