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...Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-28, Article 225
2020
Volltextzugriff (PDF)
Foundations and trends in programming languages, 2016-01, Vol.3 (4), p.231-284
2016
Volltextzugriff (PDF)
Static Analysis, p.238-258
Volltextzugriff (PDF)
Acta informatica, 2020-04, Vol.57 (1-2), p.165-193
2020
Volltextzugriff (PDF)
ACM transactions on software engineering and methodology, 2008-04, Vol.17 (2), p.1-34
2008
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 162
2020
Volltextzugriff (PDF)
Machine learning, 2024-10
2024
Volltextzugriff (PDF)
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.79-94
2017
Volltextzugriff (PDF)
Machine learning, 2024-05, Vol.113 (5), p.2877-2919
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-28, Article 215
2020
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, 2014, Vol.8855, p.252-266
2014
Volltextzugriff (PDF)
Static Analysis, 2011, p.351-368
2011
Volltextzugriff (PDF)
2011, 2011
Volltextzugriff (PDF)
Static Analysis, p.95-111
Volltextzugriff (PDF)
Static Analysis, p.280-297
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, 2014, p.236-251
2014
Volltextzugriff (PDF)
Programming Languages and Systems, p.3-8
Volltextzugriff (PDF)
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.1114-1124
2018
Volltextzugriff (PDF)
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.419-428
2014
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 159
2020
Volltextzugriff (PDF)
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.349-360
2014
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, p.116-131
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Abstract Interpretation
- Concurrency
- Software Engineering
- Software
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Synthesis
- Verification
- Computing Methodologies -- Concurrent Computing Methodologies -- Concurrent Programming Languages
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Information Systems
- Software And Its Engineering
- Abstract Domain
Kollektion
- ACM Digital Library
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Xplore
- Springer Journals
- MEDLINE
- Journals@Ovid Complete
- Elsevier ScienceDirect Journals
- Wiley Online Library Journals Frontfile Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate
- IngentaConnect Journals
- Wiley Online Library
- De Gruyter journals
- Taylor & Francis eBooks A-Z
- Now Publishers Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- American Journal Of Neuroradiology : Ajnr
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Acm Transactions On Programming Languages And Systems
- Acm Transactions On Software Engineering And Methodology
- Acta Informatica
- Journal Of Biophotonics
- Machine Learning
Neu hinzugefügt