11 sonuç bulundu
Tümünü Seç
00000000000DEFAULTTR
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
McCarthy, Jay. editor.
Format:
Electronic Resources
Alıntı:
such as distributed systems, education, functional language implementation, hardware synthesis, static
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Behaviour of Process -- Education and Verification -- Using Alloy in Introductory Courses of Formal Methods
Yazar
Vrajitoru, Dana. author.
Format:
Electronic Resources
Alıntı:
Analysis of algorithms plays an essential role in the education and training of any serious
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
35 submissions. The papers address a wide range of topics including education, requirements modeling
Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Ayala-Rincón
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
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
11 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: