Yazar
Hague, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Computer software.
Yazar
Pighizzini, Giovanni. editor. (orcid)0000-0002-7509-7842
Format:
Electronic Resources
Alıntı:
Computer software.
View Other Search Results
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
van den Herik, Jaap. editor.
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com
Yazar
Chaudhuri, Swarat. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17
Yazar
Chaudhuri, Swarat. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17
Yazar
Cerrito, Serenella. editor.
Format:
Electronic Resources
Alıntı:
Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product
Arama Sonuçlarını Sınırlandır
Daraltılmış: