Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Journal of Interactive Media in Education, 2023-05, Vol.2023 (1), p.10-10
2023
Volltextzugriff (PDF)
Journal of computers in education (the official journal of the Global Chinese Society for Computers in Education), 2018-12, Vol.5 (4), p.415-434
2018
Volltextzugriff (PDF)
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023, p.670-670
2023
Volltextzugriff (PDF)
Science of computer programming, 2024-03, Vol.233, p.103057, Article 103057
2024
Volltextzugriff (PDF)
1996
Volltextzugriff (PDF)
2013, 2013
Volltextzugriff (PDF)
Applicable Formal Methods for Safe Industrial Products, p.130-146
Volltextzugriff (PDF)
Journal of higher education theory and practice, 2019-12, Vol.19 (8), p.25-38
2019
Volltextzugriff (PDF)
Formal Methods Teaching, p.150-164
Volltextzugriff (PDF)
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023, p.1-1
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2014-11, Vol.16 (6), p.685-711
2014
Volltextzugriff (PDF)
Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, 2020, p.68-74
2020
Volltextzugriff (PDF)
Information and computation, 2004-01, Vol.188 (1), p.1-19
2004
Volltextzugriff (PDF)
Logics for Concurrency, 1996, p.238-266
1996
Volltextzugriff (PDF)
Computer Aided Verification, 2005, p.428-440
2005
Volltextzugriff (PDF)
Science of computer programming, 2014-12, Vol.96, p.315-336
2014
Volltextzugriff (PDF)
Proceedings of the 8th Conference on Computing Education Practice, 2024, p.21-24
2024
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.253-268
Volltextzugriff (PDF)
Concurrency, Security, and Puzzles, 2016, Vol.10160, p.18-38
2016
Volltextzugriff (PDF)
Formal Methods - Fun for Everybody, 2021, Vol.1301, p.173-190
2021
Volltextzugriff (PDF)
CONCUR '96: Concurrency Theory, 2005, p.195-216
2005
Volltextzugriff (PDF)
Formal Techniques for Safety-Critical Systems, p.95-105
Volltextzugriff (PDF)
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023, p.1-1
2023
Volltextzugriff (PDF)
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023, p.1-1
2023
Volltextzugriff (PDF)
Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research, 2023, p.1-1
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Education & Educational Research
- Social Sciences
- Education, Scientific Disciplines
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Social And Professional Topics -- Professional Topics -- Computing Education
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science Education
- Theoretical Computing
- Computer Science, Software Engineering
- Mathematics
- Social And Professional Topics -- Professional Topics -- Computing Education -- K-12 Education
- Computing Education
- Label Transition System
- Model Check
- Physical Sciences
Kollektion
- IngentaConnect_期刊（NSTL购买）
- ACM Digital Library (Association for Computing Machinery)
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Collection
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Xplore Digital Library
- EBSCOhost Business Source Ultimate
- Oxford journals
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ERIC
- Cambridge Journals Online (DEFF)
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
Zeitschrift / Serie
- Acm Computing Surveys
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Information And Computation
- Computer Journal
- Journal Of Interactive Media In Education
- Science Of Computer Programming
- Ieee Aerospace And Electronic Systems Magazine
- International Journal On Software Tools For Technology Transfer
- Journal Of Computer And System Sciences