Yazar
Bogomolov, Sergiy. editor.
Format:
Electronic Resources
Alıntı:
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil
View Other Search Results
Yazar
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
Format:
Electronic Resources
Alıntı:
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22
Yazar
Proença, José. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Skrzypczak, Michał. author.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Maletti, Andreas. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Balduccini, Marcello. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market
Yazar
Bansal, Nikhil. editor.
Format:
Electronic Resources
Alıntı:
Discrete Mathematics in Computer Science.
Yazar
Hoshi, Mizuho. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Arama Sonuçlarını Sınırlandır
Daraltılmış: