Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science and General Issues ;
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies
View Other Search Results
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science and General Issues ;
Yazar
Hague, Matthew. editor.
Format:
Electronic Resources
Alıntı:
Theoretical Computer Science and General Issues ;
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
Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001
Format:
Electronic Resources
Alıntı:
Computer science—Mathematics.
Yazar
Uden, Lorna. editor.
Format:
Electronic Resources
Alıntı:
Computer Appl. in Administrative Data Processing. https://scigraph.springernature.com/ontologies
Yazar
Cerrito, Serenella. editor.
Format:
Electronic Resources
Alıntı:
Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product
Yazar
Falaschi, Moreno. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
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