Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Systems -- Using Statistical Model Checking for Measuring Systems -- Blocking Advertisements on Android
Arama Sonuçlarını Sınırlandır
Daraltılmış: