10 sonuç bulundu
Tümünü Seç
0000000000DEFAULTTR
Yazar
Yakovyna, Vitaliy. editor.
Format:
Electronic Resources
Alıntı:
Information and Communication Technologies in Education, Research, and Industrial Applications 11th
Yazar
McCarthy, Jay. editor.
Format:
Electronic Resources
Alıntı:
such as distributed systems, education, functional language implementation, hardware synthesis, static
View Other Search Results
Yazar
Weyns, Danny. editor.
Format:
Electronic Resources
Alıntı:
; decisions and social aspects; education and training; cloud and green; agile and smart systems; analysis and
Yazar
Brauer, Johannes. author.
Format:
Electronic Resources
Alıntı:
job-retraining and continuing education programs • Beginning programmers Author Johannes Brauer is a professor
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Behaviour of Process -- Education and Verification -- Using Alloy in Introductory Courses of Formal Methods
Yazar
Agha, Gul. editor.
Format:
Electronic Resources
Alıntı:
My Early Education and Concurrent Objects -- Object-Oriented Concurrent Programming in ABCL/1
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
35 submissions. The papers address a wide range of topics including education, requirements modeling
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
that formal methods-supported software development should play in education, in industry and in society.
.
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
10 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: