5 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
00000DEFAULTTR
Yazdır
1. 
Modelling and Verification of Secure Exams için kapak resmi
Modelling and Verification of Secure Exams
Modelling and Verification of Secure Exams
Yazar 
Giustolisi, Rosario. author.
https://doi.org/10.1007/978-3-319-67107-9
Format: 
Electronic Resources
Alıntı: 
cryptographic building blocks and some security considerations. Chapter 6 focuses on WATA, a family of
2. 
Transactions on Petri Nets and Other Models of Concurrency XII için kapak resmi
Transactions on Petri Nets and Other Models of Concurrency XII
Transactions on Petri Nets and Other Models of Concurrency XII
Yazar 
Koutny, Maciej. editor.
https://doi.org/10.1007/978-3-662-55862-1
Format: 
Electronic Resources
Alıntı: 
nferences e: 12.0pt;line-height: 115.0%;font-family: " times="" new="" roman"="" ,="" serif;"="">- Special
3. 
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings için kapak resmi
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Yazar 
Iliopoulos, Costas. editor.
https://doi.org/10.1007/978-3-319-94667-2
Format: 
Electronic Resources
Alıntı: 
Family of Algorithms used in Covering Array Generation -- Efficient Enumeration of Subgraphs and Induced
Tümünü Seç
5 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope