Sortiert nach
2013 20th Working Conference on Reverse Engineering (WCRE), 2013, p.182-191
2013
- Link zum Volltext
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE), 2019, p.128-138
2019
- Link zum Volltext
ACM transactions on computer systems, 2020-06, Vol.36 (4), p.1-30
2020
Link zum Volltext
IEEE transactions on dependable and secure computing, 2019-07, Vol.16 (4), p.635-650
2019
- Link zum Volltext
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013, p.1-12
2013
- Link zum Volltext
Science of computer programming, 2014-10, Vol.91, p.141-160
2014
Link zum Volltext
Automated software engineering, 2016-03, Vol.23 (1), p.3-41
2016
Link zum Volltext
Companion Proceedings of the 36th International Conference on Software Engineering, 2014, p.568-571
2014
Link zum Volltext
ACM transactions on storage, 2024-02, Vol.20 (2), p.1-1, Article 7
2024
Link zum Volltext
Software, practice & experience, 2013-01, Vol.43 (1), p.67-92
2013
Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.518-529
2020
- Link zum Volltext
Software, practice & experience, 2015-02, Vol.45 (2), p.177-196
2015
Link zum Volltext
IEEE transactions on software engineering, 2011-07, Vol.37 (4), p.575-591
2011
- Link zum Volltext
ACM transactions on computer systems, 2014-06, Vol.32 (2), p.1-40
2014
Link zum Volltext
Automated software engineering, 2010-06, Vol.17 (2), p.119-148
2010
Link zum Volltext
High Performance Computing, p.226-232
Link zum Volltext
2011 33rd International Conference on Software Engineering (ICSE), 2011, p.431-440
2011
- Link zum Volltext
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.103-114
2020
- Link zum Volltext
IEEE transactions on software engineering, 2021-11, Vol.47 (11), p.2471-2486
2021
- Link zum Volltext
IEEE transactions on software engineering, 2024-05, p.1-20
2024
- Link zum Volltext
ACM transactions on programming languages and systems, 2003-07, Vol.25 (4), p.452-499
2003
Link zum Volltext
2009 IEEE/IFIP International Conference on Dependable Systems & Networks, 2009, p.43-52
2009
- Link zum Volltext
Proceedings of the 2009 ACM SIGPLAN/SIGOPS international conference on Virtual execution environments, 2009, p.41-50
2009
Link zum Volltext
Operating systems review, 2006-10, Vol.40 (4), p.59-71
2006
Link zum Volltext
IEEE transactions on reliability, 2017-12, Vol.66 (4), p.1213-1228
2017
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Software Engineering
- Computer Science, Theory & Methods
- Linux
- Operating Systems
- Software
- Applied Sciences
- Exact Sciences And Technology
- Computer Science, Hardware & Architecture
- Computer Science; Control Theory; Systems
- Engineering
- Engineering, Electrical & Electronic
- Programming Languages
- Kernel
- Computer Science, Information Systems
- Program Transformation
- Conferences
Kollektion
- ACM Digital Library
- IEEE Electronic Library (IEL)
- Ingenta
- SpringerLink (Online service)
- RCN full-text journals@Ovid
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB-NALI5-00465 Elsevier Archive NL
- EZB-NALI2-00462 Springer Archive NL
- Cambridge Journals Online (DEFF)
- Business Source Ultimate
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library
- De Gruyter eBooks
- MEDLINE
- ProQuest Dissertations & Theses A&I
- ScienceDirect eBooks
Zeitschrift / Serie
- Sigplan Notices
- Higher-Order And Symbolic Computation
- Science Of Computer Programming
- Acm Sigplan Notices
- Ieee Transactions On Software Engineering
- Operating Systems Review
- Acm Transactions On Computer Systems
- Automated Software Engineering
- Journal Of Functional Programming
- Electronic Notes In Theoretical Computer Science
Neu hinzugefügt