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...2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
Journal of the ACM, 2024-02, Vol.71 (1), p.1-59, Article 3
2024
Volltextzugriff (PDF)
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.144-155
2016
Volltextzugriff (PDF)
Software testing, verification & reliability, 2023-11, Vol.33 (7)
2023
Volltextzugriff (PDF)
Programming Languages and Systems, p.146-156
Volltextzugriff (PDF)
Theory and practice of logic programming, 2022-11, Vol.22 (6), p.974-1042
2022
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.2074-2077
2023
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2014-10, Vol.36 (4), p.1-29, Article 14
2014
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.598-610
2023
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2023-09, Vol.49 (9), p.1-18
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.48-77, Article 190
2023
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.883-893
2021
Volltextzugriff (PDF)
Concurrency and computation, 2022-10, Vol.34 (23), p.n/a
2022
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.2050-2053
2023
Volltextzugriff (PDF)
IEEE intelligent systems, 2014-01, Vol.29 (1), p.20-29
2014
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.673-685
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.154-184, Article 6
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.2017-2047, Article 69
2023
Volltextzugriff (PDF)
2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023, p.1756-1760
2023
Volltextzugriff (PDF)
IEEE transactions on reliability, 2019-09, Vol.68 (3), p.1101-1116
2019
Volltextzugriff (PDF)
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), 2023, p.1-10
2023
Volltextzugriff (PDF)
Software and systems modeling, 2016-10, Vol.15 (4), p.937-960
2016
Volltextzugriff (PDF)
Constraints : an international journal, 2022-04, Vol.27 (1-2), p.29-69
2022
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2018-08, Vol.40 (3), p.1-59, Article 12
2018
Volltextzugriff (PDF)
Theory and practice of logic programming, 2018-03, Vol.18 (2), p.167-223
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Program Verification
- Computer Science, Software Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Verification
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Software
- Engineering
- Software Engineering
- Computer Science, Theory & Methods
- Computer Programs
- Engineering, Electrical & Electronic
- Theory Of Computation
- Software And Its Engineering
- Theory Of Computation -- Semantics And Reasoning
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Algorithms
- Mathematical Models
Kollektion
- Association for Computing Machinery
- Ingenta
- IEEE Xplore
- EZB Electronic Journals Library
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid Ovid Full Text
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- ERIC
- Wiley Online Library All Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- Publisher
- MEDLINE
- Taylor & Francis Journals
Zeitschrift / Serie
- Proceedings Of Acm On Programming Languages
- Ieee Transactions On Software Engineering
- International Journal On Software Tools For Technology Transfer
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Sigplan Notices
- Journal Of Automated Reasoning
- Formal Methods In System Design
- Acm Transactions On Software Engineering And Methodology
- Formal Aspects Of Computing
Neu hinzugefügt