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
Yazar
Massoni, Tiago. editor. (orcid)0000-0002-9423-7556
Format:
Electronic Resources
Alıntı:
-- Verification and validation -- Experience reports regarding teaching formal methods -- Applications.
View Other Search Results
Yazar
El Hajji, Said. editor.
Format:
Electronic Resources
Alıntı:
aim of this conference is to pay homage to Thierry Berger for his valuable contribution in teaching
Yazar
Upadhyaya, Bhim P. author.
Format:
Electronic Resources
Alıntı:
, binary trees, sorting, searching, and graphs Describes examples of complete and running applications for
Yazar
Jenkyns, Tom. author.
Format:
Electronic Resources
Alıntı:
University, Canada. Dr. Ben Stephenson is a Teaching Professor in the Department of Computer Science at the
Yazar
Sanders, Peter. author.
Format:
Electronic Resources
Alıntı:
performance-critical applications and how this impacts on the teaching of algorithms. The book is suitable for
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Teaching Computer Science in the Community -- Attacks in the Resource-as-a-Service (RaaS) Cloud
Yazar
Chen, Yu-Fang. editor.
Format:
Electronic Resources
Alıntı:
Assignments as Conditional Autarkies -- Can We Trust Autonomous Systems? Boundaries and Risks -- Teaching
Yazar
Laaksonen, Antti. author.
Format:
Electronic Resources
Alıntı:
Introduction -- Programming Techniques -- Efficiency -- Sorting and Searching -- Data Structures
Yazar
Montiel, Mariana. editor. (orcid)0000-0002-7859-1547
Format:
Electronic Resources
Alıntı:
-- Have Fun with Math and Music! -- Teaching Music with Mathematics: a Pilot Study -- Integrated Music and
Yazar
Qiu, Meikang. editor.
Format:
Electronic Resources
Alıntı:
. - Application Of A Parallel FSM Parsing Algorithm For Web Engines -- PTrack:A RFID-based Tracking Algorithm for
Yazar
Tan, Ying. editor.
Format:
Electronic Resources
Alıntı:
-- Teaching-Learning-Feedback-Based Optimization -- A New Magnetotactic Bacteria Optimization Algorithm Based on Moment Migration -- A
Arama Sonuçlarını Sınırlandır
Daraltılmış: