Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(38)
Ab Rahman, Nurul Hidayah. editor.
(2)
Alrabaee, Saed. editor.
(2)
Cahyani, Niken Dwi Wahyu. editor.
(2)
Canetti, Ran. editor.
(2)
Dil
Yayın Yılı
-
2013
(29)
2023
(9)
Konu
Algorithm Analysis and Problem Complexity.
(29)
Computer science.
(29)
Computer software.
(29)
Systems and Data Security.
(29)
Data Encryption.
(21)
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ç
38 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
37. 
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings için kapak resmi
Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings
Yazar 
Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334825.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39634-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings için kapak resmi
Security and Trust Management 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings
Yazar 
Accorsi, Rafael. editor. Ranise, Silvio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335057.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41098-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: