Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Software, practice & experience, 2023-09, Vol.53 (9), p.1763-1792
2023
Link zum Volltext

ACM transactions on programming languages and systems, 2023-06, Vol.45 (2), p.1-50, Article 10
2023
Link zum Volltext

Journal of visual languages and computing, 2018-12, Vol.49, p.29-45
2018
Link zum Volltext

ACM transactions on programming languages and systems, 2019-07, Vol.41 (3), p.1-47, Article 19
2019
Link zum Volltext

Proceedings of the 2018 International Symposium on Code Generation and Optimization, 2018, p.27-37
2018
Link zum Volltext

2017 24th Asia-Pacific Software Engineering Conference (APSEC), 2017, p.570-575
2017

Vértices (Campos dos Goitacazes), 2023-12, Vol.25 (3), p.e25319298-e25319298
2023
Link zum Volltext




IEEE transactions on services computing, 2017-11, Vol.10 (6), p.984-998
2017

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.531-546
Link zum Volltext


Journal of low power electronics and applications, 2023-09, Vol.13 (3), p.51
2023
Link zum Volltext

Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023, p.1-12
2023
Link zum Volltext




Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017, p.104-116
2017
Link zum Volltext



Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020, p.128-135
2020
Link zum Volltext

Revista cubana de medicina militar, 2019-04, Vol.48 (2), p.131-132
2019
Link zum Volltext


Revue internationale des technologies en pédagogie universitaire, 2020, Vol.17 (2), p.61-66
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n