Yazar
Mauw, Sjouke. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Heisel, Maritta. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
View Other Search Results
Yazar
Qiu, Meikang. editor. (orcid)0000-0002-1004-0140
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Chen, Liqun. editor. (orcid)0000-0003-2680-4907
Format:
Electronic Resources
Alıntı:
Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060
Yazar
Müller-Olm, Markus. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Bultan, Tevfik. author.
Format:
Electronic Resources
Alıntı:
Systems and Data Security. http://scigraph.springernature.com/things/product-market-codes/I28060
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Pontelli, Enrico. editor.
Format:
Electronic Resources
Alıntı:
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR
Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Arama Sonuçlarını Sınırlandır
Daraltılmış: