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...
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Sustainability (Basel, Switzerland), 2021-09, Vol.13 (17), p.9849
2021
Link zum Volltext

Sustainability (Basel, Switzerland), 2022-02, Vol.14 (4), p.2020
2022
Link zum Volltext



Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.185-196
2016
Link zum Volltext

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Open Access
Asynchronous Extensions of HyperLTL
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Proceedings of the 31st Annual ACM/IEEE Symposium on logic in computer science, 2016, p.768-777
2016
Link zum Volltext

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

ACM journal on emerging technologies in computing systems, 2023-11, Vol.19 (4), p.1-1, Article 31
2023
Link zum Volltext


Categories of Nets
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Open Access
Guest Editorial: Trustworthy AI
ACM journal on emerging technologies in computing systems, 2022-07, Vol.18 (3), p.1-3, Article 55
2022
Link zum Volltext


2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext


2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext

Science and engineering ethics, 2020-12, Vol.26 (6), p.2957-2974
2020
Link zum Volltext


2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Link zum Volltext

ECOOP 2012 – Object-Oriented Programming, p.2-27
Link zum Volltext

Sustainability (Basel, Switzerland), 2020-11, Vol.12 (21), p.9255
2020
Link zum Volltext

Aktive Filter
KollektionFreely available E-journals
ThemaScience & Technology - Other Topics
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt