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...The International journal of networked and distributed computing (Online), 2016-07, Vol.4 (3), p.137-144
2016
Volltextzugriff (PDF)
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.2455-2472
2019
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2021-10, Vol.47 (10), p.2225-2241
2021
Volltextzugriff (PDF)
Computers & security, 2015-03, Vol.49, p.255-273
2015
Volltextzugriff (PDF)
Science of computer programming, 2023-06, Vol.228, p.102944, Article 102944
2023
Volltextzugriff (PDF)
IEEE transactions on dependable and secure computing, 2024, p.1-12
2024
Volltextzugriff (PDF)
Software, practice & experience, 2023-07, Vol.53 (7), p.1472-1495
2023
Volltextzugriff (PDF)
The Journal of systems and software, 2021-07, Vol.177, p.110952, Article 110952
2021
Volltextzugriff (PDF)
Security and Safety, 2024, Vol.3, p.2024007
2024
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2023-07, Vol.32 (5), p.1-34, Article 121
2023
Volltextzugriff (PDF)
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.1049-1060
2020
Volltextzugriff (PDF)
Software and systems modeling, 2023-02, Vol.22 (1), p.273-296
2023
Volltextzugriff (PDF)
China communications, 2024-07, Vol.21 (7), p.325-333
2024
Volltextzugriff (PDF)
Automated software engineering, 2023-11, Vol.30 (2), p.26, Article 26
2023
Volltextzugriff (PDF)
Science of computer programming, 2016-05, Vol.120, p.1-24
2016
Volltextzugriff (PDF)
Theory of computing systems, 2022-10, Vol.66 (5), p.911-956
2022
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2018-12, Vol.40 (4), p.1-37, Article 14
2018
Volltextzugriff (PDF)
Journal of network and computer applications, 2020-02, Vol.152, p.102509, Article 102509
2020
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2013-10, Vol.22 (4), p.1-33
2013
Volltextzugriff (PDF)
Computer Aided Verification, 2016, Vol.9780, p.422-430
2016
Volltextzugriff (PDF)
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.811-824
2021
Volltextzugriff (PDF)
IEEE access, 2022, Vol.10, p.39674-39680
2022
Volltextzugriff (PDF)
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021, p.2429-2431
2021
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2017-12, Vol.39 (4), p.1-47, Article 18
2017
Volltextzugriff (PDF)
Software testing, verification & reliability, 2017-09, Vol.27 (6), p.n/a
2017
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Static Analysis
- Computer Science, Software Engineering
- Software
- Computer Science, Theory & Methods
- Engineering
- Applications Programs
- Computer Programs
- Software Engineering
- Engineering, Electrical & Electronic
- Computer Science, Information Systems
- Static Code Analysis
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Analysis
- Security
- Static Program Analysis
- Java
- Source Code
- Abstract Interpretation
Kollektion
- IEL
- ACM Digital Library
- Ingenta
- Free E-Journal (出版社公開部分のみ）
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Online Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- SpringerLink Series
- IngentaConnect Journals
- Journals@OVID
- Wiley-Blackwell Journals
- Business Source Ultimate
- Wiley Online Library Full Collection 2018
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- Nexis Uni
- SAGE Journals
- Taylor & Francis Journals
Zeitschrift / Serie
- Ieee Transactions On Software Engineering
- Ieee Access
- Acm Transactions On Programming Languages And Systems
- Applied Mechanics And Materials
- International Journal On Software Tools For Technology Transfer
- Proceedings Of Acm On Programming Languages
- Software, Practice & Experience
- Acm Transactions On Software Engineering And Methodology
- Proceedings Of The Acm On Programming Languages
- Sigplan Notices
Neu hinzugefügt