Yazar
Aldini, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Security Analysis and Design VII FOSAD 2012/2013 Tutorial Lectures / Aldini
Yazar
D'Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune
View Other Search Results
Yazar
Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622
Format:
Electronic Resources
Alıntı:
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl
Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Robič, Borut. author.
Format:
Electronic Resources
Alıntı:
Computational Mathematics and Numerical Analysis.
Yazar
Riolo, Rick. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Bacon, Dave. editor.
Format:
Electronic Resources
Alıntı:
Algorithm Analysis and Problem Complexity.
Yazar
Kao, Ming-Yang. editor.
Format:
Electronic Resources
Alıntı:
Computational Mathematics and Numerical Analysis.
Yazar
Koç, Çetin Kaya. editor.
Format:
Electronic Resources
Alıntı:
Computational Mathematics and Numerical Analysis.
Yazar
Gavrilova, Marina L. editor.
Format:
Electronic Resources
Alıntı:
Numerical analysis.
Yazar
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X
Format:
Electronic Resources
Alıntı:
Numerical analysis.
Yazar
Kacsuk, Péter. editor.
Format:
Electronic Resources
Alıntı:
Computational Mathematics and Numerical Analysis.
Arama Sonuçlarını Sınırlandır
Daraltılmış: