Sortiert nach
Software, practice & experience, 2016-06, Vol.46 (6), p.767-788
2016
Link zum Volltext
ACM transactions on programming languages and systems, 2011, Vol.33 (1), p.1-55
2011
Link zum Volltext
An empirical assessment of machine learning approaches for triaging reports of static analysis tools
2023
Link zum Volltext
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.330-342
2021
- Link zum Volltext
Formal methods in system design, 2017-03, Vol.50 (1), p.75-95
2017
Link zum Volltext
ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-38, Article 13
2014
Link zum Volltext
ACM transactions on programming languages and systems, 2008-07, Vol.30 (4), p.1-63
2008
Link zum Volltext
ACM transactions on programming languages and systems, 2006-11, Vol.28 (6), p.1035-1087
2006
Link zum Volltext
NASA Formal Methods, 2023, Vol.13903, p.397-413
2023
Link zum Volltext
15th International Symposium on Software Reliability Engineering, 2004, p.245-256
2004
- Link zum Volltext
Software, practice & experience, 2010-03, Vol.40 (3), p.225-238
2010
Link zum Volltext
SIGPLAN notices, 2010-01, Vol.45 (1), p.313-326
2010
Link zum Volltext
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-27
2021
Link zum Volltext
Proceedings of the National Academy of Sciences - PNAS, 2001-07, Vol.98 (14), p.8151-8156
2001
Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1584-1607, Article 171
2023
Link zum Volltext
Proceedings of the second ACM workshop on Security and privacy in smartphones and mobile devices, 2012, p.3-14
2012
Link zum Volltext
International Conference on Software Engineering: Proceedings of the 2005 international workshop on Mining software repositories : St. Louis, Missouri; 17-17 May 2005, 2005, p.1-5
2005
Link zum Volltext
SIGPLAN notices, 2011-01, Vol.46 (1), p.459-472
2011
Link zum Volltext
Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems, 2019, p.1-6
2019
Link zum Volltext
Proceedings of the 17th ACM conference on Computer and communications security, 2010, p.585-594
2010
Link zum Volltext
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.492-503
2011
Link zum Volltext
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-25
2019
Link zum Volltext
SIGPLAN notices, 2009-10, Vol.44 (10), p.283-300
2009
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Male
- Female
- Aged
- Animals
- Middle Aged
- Biological And Medical Sciences
- Technology
- Adult
- Science & Technology - Other Topics
- Physical Sciences
- Medical Sciences
- Aged, 80 And Over
- Multidisciplinary Sciences
- Alzheimer's Disease
- Computer Science
- Neurosciences & Neurology
- Computer Science, Software Engineering
Kollektion
- EZB Electronic Journals Library
- MEDLINE
- NUS Single-Journal Subscriptions
- RCN full-text journals@Ovid
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- De Gruyter eBooks
- Wiley Online Library
- Wiley Online Library
- JSTOR All Journals
- Association for Computing Machinery
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford University Press Journals Current
- Springer Nature - Connect here FIRST to enable access
- Oxford Journals 2020 Medicine
- Nexis
- Psychology & Behavioral Sciences Collection
- EBSCOhost Business Source Ultimate
- Science (periodical)
- Ingenta E-Journals
Zeitschrift / Serie
Neu hinzugefügt