Yazar
Ermolayev, Vadim. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 10th
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
View Other Search Results
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Behaviour of Process -- Education and Verification -- Using Alloy in Introductory Courses of Formal Methods
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
35 submissions. The papers address a wide range of topics including education, requirements modeling
Yazar
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Alıntı:
infrastructures; global aspects of resilience engineering: education, training and cooperation.
Yazar
Ciobanu, Gabriel. editor.
Format:
Electronic Resources
Alıntı:
and education; case studies, theories, tools and experiments of verified systems; domain-specific
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg
Arama Sonuçlarını Sınırlandır
Daraltılmış: