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...Theoretical computer science, 2023-01, Vol.943, p.153-170
2023
Volltextzugriff (PDF)
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.714-724
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-25, Article 184
2020
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2016-08, Vol.25 (3), p.1-39
2016
Volltextzugriff (PDF)
2014 21st Asia-Pacific Software Engineering Conference, 2014, Vol.1, p.303-310
2014
Volltextzugriff (PDF)
Programming Languages and Systems, p.394-414
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2022, Vol.13182, p.174-196
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-02, Vol.140 (Proc. INFINITY 2013), p.16-34
2014
Volltextzugriff (PDF)
Journal of Applied Mathematics, 2013, Vol.2013 (2013), p.647-659-864
2013
Volltextzugriff (PDF)
Logical methods in computer science, 2012-09, Vol.8, Issue 3
2012
Volltextzugriff (PDF)
IACR transactions on cryptographic hardware and embedded systems, 2022-08, p.718-750
2022
Volltextzugriff (PDF)
Computer Aided Verification, p.310-328
Volltextzugriff (PDF)
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, p.1591-1606
2019
Volltextzugriff (PDF)
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2019, p.552-564
2019
Volltextzugriff (PDF)
Mathematical structures in computer science, 2015-05, Vol.25 (4), p.892-915
2015
Volltextzugriff (PDF)
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014, p.299-309
2014
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.403-419
Volltextzugriff (PDF)
Journal of automated reasoning, 2014-04, Vol.52 (4), p.379-405
2014
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.2-17
Volltextzugriff (PDF)
Automated Technology for Verification and Analysis, 2006, p.186-199
2006
Volltextzugriff (PDF)
Proceedings of the 36th International Conference on Software Engineering, 2014, p.1071-1082
2014
Volltextzugriff (PDF)
Static Analysis, p.118-133
Volltextzugriff (PDF)
Programming Languages and Systems, p.328-343
Volltextzugriff (PDF)
IEEE transactions on software engineering, 2004-06, Vol.30 (6), p.403-417
2004
Volltextzugriff (PDF)
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, p.111-122
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Model Check
- Applied Sciences
- Exact Sciences And Technology
- Logic
- Model Checking
- Software Engineering
- Computer Science; Control Theory; Systems
- Algorithms
- Computer Science, Information Systems
- Engineering
- Engineering, Electrical & Electronic
- Formal Verification
- Software
- Algorithmic Learning
- Boolean Formula
Kollektion
- IngentaConnect
- SpringerLink Series
- ACM Digital Library
- EZB Free E-Journals
- IEEE Electronic Library (IEL)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- SpringerLink
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- BSC - Ebsco (Business Source Ultimate)
- Journals@Ovid
- Project Euclid_欧几里德项目期刊
Zeitschrift / Serie
- International Journal Of Foundations Of Computer Science
- Acm Transactions On Software Engineering And Methodology
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Iacr Transactions On Cryptographic Hardware And Embedded Systems
- Ieee Transactions On Software Engineering
- Journal Of Applied Mathematics
- Journal Of Automated Reasoning
- Logical Methods In Computer Science
Neu hinzugefügt