Sortiert nach
Concurrency and computation, 2016-08, Vol.28 (11), p.3025-3041
2016
Volltextzugriff (PDF)
Informatics in Schools. Fundamentals of Computer Science and Software Engineering, p.194-205
Volltextzugriff (PDF)
Journal of cleaner production, 2024-07, Vol.462, p.142625, Article 142625
2024
Volltextzugriff (PDF)
2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), 2018, p.36-46
2018
Volltextzugriff (PDF)
Informatics in Schools. A Step Beyond Digital Education, p.54-65
Volltextzugriff (PDF)
Application and Theory of Petri Nets and Concurrency, p.80-90
Volltextzugriff (PDF)
Journal of communications, 2010-05, Vol.5 (5)
2010
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.187-202
Volltextzugriff (PDF)
Informatics in Schools. New Ideas in School Informatics, p.225-239
Volltextzugriff (PDF)
Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, 2015, p.27-32
2015
Volltextzugriff (PDF)
ACM transactions on computing education, 2014-06, Vol.14 (2), p.1-6
2014
Volltextzugriff (PDF)
Computer Supported Education, 2020, Vol.1220, p.191-210
2020
Volltextzugriff (PDF)
Informatics in Schools. Teaching and Learning Perspectives, p.161-172
Volltextzugriff (PDF)
Software Engineering and Formal Methods, 2017, Vol.10469, p.375-381
2017
Volltextzugriff (PDF)
Reachability Problems, p.83-95
Volltextzugriff (PDF)
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011, p.110-117
2011
Volltextzugriff (PDF)
NASA Formal Methods, 2017, Vol.10227, p.115-130
2017
Volltextzugriff (PDF)
Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, 2024, p.102-108
2024
Volltextzugriff (PDF)
Performance evaluation, 2007-03, Vol.64 (3), p.229-246
2007
Volltextzugriff (PDF)
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, 2018, p.1-7
2018
Volltextzugriff (PDF)
Agile Processes in Software Engineering and Extreme Programming, p.74-83
Volltextzugriff (PDF)
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014, p.333-340
2014
Volltextzugriff (PDF)
2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016, p.165-172
2016
Volltextzugriff (PDF)
Proceedings - International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2004, p.560-568
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Petri Nets
- Education & Educational Research
- Education, Scientific Disciplines
- Engineering
- Social Sciences
- Formal Verification
- Cloud Computing
- Computational Thinking
- Engineering, Electrical & Electronic
- Computational Modeling
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
- Distributed Algorithms
- Explosions
Kollektion
- IngentaConnect
- IEEE Xplore
- Springer Book Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ScienceDirect Journals (5 years ago - present)
- Free E-Journal (出版社公開部分のみ）
- Project Euclid Complete
- International Press Journals
- Wiley Backfiles (~2019)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ERIC
- Wiley Online Library
Zeitschrift / Serie