Ihre Suche nach „Amir Ranjbar“ in „Informatik“
Temporal Verification of Reactive Systems
Zohar Manna, Amir Pnueli
117.69 €
Cloud Security Auditing
Suryadipta Majumdar, Taous Madi, Yushun Wang, Azadeh Tabiban, Momen Oqaily, Amir Alimohammadifar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
96.29 €
Deep Learning Pipeline
Hisham El-Amir, Mahmoud Hamdy
48.14 €
Cloud Security Auditing
Suryadipta Majumdar, Taous Madi, Yushun Wang, Azadeh Tabiban, Momen Oqaily, Amir Alimohammadifar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang, Mourad Debbabi
128.39 €
70.61 €
160.49 €
53.49 €
49.22 €
213.99 €
171.19 €
53.49 €
160.49 €
106.99 €
53.49 €
42.80 €
51.36 €
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
85.59 €
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
106.99 €
53.49 €
213.99 €
53.49 €