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...IEEE access, 2021, Vol.9, p.136616-136635
2021
Volltextzugriff (PDF)
IEEE intelligent systems, 2022-11, Vol.37 (6), p.1-10
2022
Volltextzugriff (PDF)
Journal of big data, 2019-05, Vol.6 (1), p.1-23, Article 40
2019
Volltextzugriff (PDF)
IEEE transactions on services computing, 2022-09, Vol.15 (5), p.2713-2727
2022
Volltextzugriff (PDF)
Software and systems modeling, 2024-04, Vol.23 (2), p.473-502
2024
Volltextzugriff (PDF)
Software, practice & experience, 2022-10, Vol.52 (10), p.2127-2151
2022
Volltextzugriff (PDF)
Theoretical computer science, 2017-01, Vol.658, p.46-59
2017
Volltextzugriff (PDF)
2020 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2020, p.1907-1914
2020
Volltextzugriff (PDF)
Acta informatica, 2016-03, Vol.53 (2), p.171-206
2016
Volltextzugriff (PDF)
Formal aspects of computing, 2020, Vol.32 (2-3), p.187-227
2020
Volltextzugriff (PDF)
Journal of software : evolution and process, 2018-03, Vol.30 (3), p.n/a
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.319, p.9-17
2020
Volltextzugriff (PDF)
International journal of computer mathematics, 2013-08, Vol.90 (8), p.1708-1733
2013
Volltextzugriff (PDF)
Software Architecture. ECSA 2022 Tracks and Workshops, 2023, Vol.13928, p.467-482
2023
Volltextzugriff (PDF)
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016, p.39-46
2016
Volltextzugriff (PDF)
Software Architecture, 2023, Vol.14212, p.153-169
2023
Volltextzugriff (PDF)
Robotics and autonomous systems, 2023-05, Vol.163, p.104387, Article 104387
2023
Volltextzugriff (PDF)
2023 IEEE 20th International Conference on Software Architecture Companion (ICSA-C), 2023, p.86-90
2023
Volltextzugriff (PDF)
2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023, p.18-28
2023
Volltextzugriff (PDF)
Frontiers of Combining Systems, 2011, p.71-86
2011
Volltextzugriff (PDF)
2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), 2023, p.309-315
2023
Volltextzugriff (PDF)
IEEE transactions on automation science and engineering, 2024-07, p.1-12
2024
Volltextzugriff (PDF)
Theoretical computer science, 2020-04, Vol.813, p.175-198
2020
Volltextzugriff (PDF)
2021 IEEE World Congress on Services (SERVICES), 2021, p.16-16
2021
Volltextzugriff (PDF)
2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2021, p.245-251
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Temporal Logic
- Robotics
- Software Engineering
- Computer Science, Information Systems
- Semantics
- Software
- Formal Verification
- Model Checking
- Automata
- Computer Science, Artificial Intelligence
- Engineering
- Metric Temporal Logic
- Robots
- Service Robots
- Statistical Model Checking
Kollektion
- Ingenta
- IEEE Electronic Library Online
- ACM Digital Library Complete
- SpringerLink Series
- EZB Free E-Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley
- MEDLINE
- Taylor & Francis Online
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- Publisher or Other Site
- Taylor & Francis Journals
- Taylor & Francis
- Journals@Ovid
Zeitschrift / Serie
- Theoretical Computer Science
- Acm Transactions On Computational Logic
- Acta Informatica
- Applied Computing Review : A Publication Of The Special Interest Group On Applied Computing
- Electromagnetic Biology And Medicine
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- Gastrointestinal Endoscopy
- Ieee Access
- Ieee Intelligent Systems