53 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Tsitouridou, Meni. editor.
Format:
Electronic Resources
Alıntı:
Technology and Innovation in Learning, Teaching and Education First International Conference, TECH
Yazar
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
Format:
Electronic Resources
Alıntı:
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the
View Other Search Results
Yazar
Bezerra, Eduardo Augusto. author.
Format:
Electronic Resources
Alıntı:
over 20 years of teaching experience in the subject. The examples in the book were planned targeting
Yazar
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
Format:
Electronic Resources
Alıntı:
-- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
Yazar
Alagić, Suad. author.
Format:
Electronic Resources
Alıntı:
This book takes a formal approach to teaching software engineering, using not only UML, but also
Yazar
Ermolayev, Vadim. editor.
Format:
Electronic Resources
Alıntı:
and communication technologies in teaching and learning; information and communication technologies in
Yazar
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
Format:
Electronic Resources
Alıntı:
, applications, implementations, and teaching of declarative programming focusing on topics such as
Yazar
Arnicans, Guntis. editor.
Format:
Electronic Resources
Alıntı:
components of IS -- Information technology in teaching and learning.
Yazar
Lüke, Karl-Heinz. editor. (orcid)0000-0002-7540-8460
Format:
Electronic Resources
Alıntı:
organized in topical sections on communication systems; teaching and collaboration; smart cities
Yazar
Kabanda, Salah. editor.
Format:
Electronic Resources
Alıntı:
-- Adaptation and Learning -- Teamwork and Projects -- Learning Systems -- Topic Teaching -- Summaries of
Yazar
Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
Format:
Electronic Resources
Alıntı:
are organized in the following topical sections: modeling and theoretical frameworks; ICT in teaching
Yazar
Buchmann, Robert Andrei. editor. (orcid)0000-0002-7385-1610
Format:
Electronic Resources
Alıntı:
of modeling methods; semantics and reasoning, experience reports; and teaching challenges.
53 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: