Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Klein, Gerwin. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
Yazar
Guttman, Joshua D. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks. https://scigraph.springernature.com
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Yazar
Horváth, András. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation.
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected
Yazar
Beierle, Christoph. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux
Yazar
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Probability and Statistics in Computer Science.
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Yazar
Shi, Zhongzhi. editor.
Format:
Electronic Resources
Alıntı:
Data Mining and Knowledge Discovery.
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and
Arama Sonuçlarını Sınırlandır
Daraltılmış: