Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Chang, Chuan-Yu. editor.
Format:
Electronic Resources
Alıntı:
New Trends in Computer Technologies and Applications 23rd International Computer Symposium, ICS
Yazar
Luo, Yuhua. editor. (orcid)0000-0003-3057-4753
Format:
Electronic Resources
Alıntı:
User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna
Yazar
Mey, Dieter an. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks.
Arama Sonuçlarını Sınırlandır
Daraltılmış: