Yazar
Roderick Bloem
7 cilt bulundu.
Roderick Bloem · Springer International Publishing AG
103 sayfa · 2013
Computer security / Computer networks, security measures / Computer science / Data encryption (Computer science) / Operating systems (Computers)
Armin Biere, Roderick Bloem · Springer London, Limited
894 sayfa · 2014
Computer software, verification / Computer science / Computer network architectures / Software engineering / Logic design
Roderick Bloem, Eli Arbel · Springer
227 sayfa · 2016
Computer programs / Computer input-output equipment / Computer software, verification
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem · Springer
1210 sayfa · 2017
Kategori yok
Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov · Morgan & Claypool Publishers
Sayfa sayısı yok · 2015
Kategori yok