Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
Broniek, Przemysław. author.
Format:
Electronic Resources
Alıntı:
Computational Complexity of Solving Equation Systems Broniek, Przemysław. author.
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
Blackwell, Clive. editor.
Format:
Electronic Resources
Alıntı:
education of students, design of novel systems and the development of automated design tools Innovative
Yazar
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
(FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the
Yazar
Botana, Francisco. editor.
Format:
Electronic Resources
Alıntı:
Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11