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...2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.38-49
2020
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2002-05, Vol.24 (3), p.217-298
2002
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2010-08, Vol.32 (6), p.1-84
2010
Volltextzugriff (PDF)
Formal methods in system design, 2017-11, Vol.51 (2), p.362-394
2017
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2005-07, Vol.27 (4), p.786-818
2005
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.305-333, Article 105
2024
Volltextzugriff (PDF)
International journal on software tools for technology transfer, 2011-11, Vol.13 (6), p.495-518
2011
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2024-06, Vol.46 (2), p.1-82, Article 7
2024
Volltextzugriff (PDF)
Formal methods in system design, 2009-08, Vol.35 (1), p.73-97
2009
Volltextzugriff (PDF)
Formal methods in system design, 2019-08, Vol.54 (1), p.110-143
2019
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2013-04, Vol.35 (1), p.1-59
2013
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2022-06, Vol.44 (2), p.1-28, Article 11
2022
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2021-02, Vol.42 (4), p.1-34, Article 16
2021
Volltextzugriff (PDF)
Theoretical computer science, 1996-05, Vol.158 (1), p.233-277
1996
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.659-688, Article 23
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1787-1816, Article 285
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-28
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.1003-1026, Article 35
2023
Volltextzugriff (PDF)
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2022, p.526-537
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-32
2021
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2017-06, Vol.39 (2), p.1-72, Article 9
2017
Volltextzugriff (PDF)
Networked Systems, p.3-16
Volltextzugriff (PDF)
Information and software technology, 1998-12, Vol.40 (11), p.701-726
1998
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, p.3-40
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Abstract Interpretation
- Software Engineering
- Software And Its Engineering
- Theory Of Computation
- Abstract Domain
- Program Point
- Life Sciences & Biomedicine
- Theoretical Computing
- Model Check
- Programming Languages
- Humans
Kollektion
- Ingenta E-Journals
- ACM Digital Library (Association for Computing Machinery)
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Access via Business Source (EBSCOhost)
- IEEE Xplore
- SpringerLink Journals - AutoHoldings
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- MEDLINE
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- NUS Single-Journal Subscriptions
- Nature Research
- Access via Wiley Online Library
- APS: American Physical Society E-Journals (Physics)
- Taylor & Francis Journals Complete
Zeitschrift / Serie
- Acm Transactions On Programming Languages And Systems
- Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Software Engineering Notes
- International Journal On Software Tools For Technology Transfer
- Acta Informatica
- Theoretical Computer Science
- Acm Transactions On Software Engineering And Methodology
- Electronic Notes In Theoretical Computer Science