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...Journal of Computer Virology and Hacking Techniques, 2021-12, Vol.17 (4), p.279-297
2021
Volltextzugriff (PDF)
Journal of Computer Virology and Hacking Techniques, 2021-09, Vol.17 (3), p.167-183
2021
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Volltextzugriff (PDF)
IEEE annals of the history of computing, 2022-04, Vol.44 (2), p.33-43
2022
Volltextzugriff (PDF)
Journal of the ACM, 2023-04, Vol.70 (2), p.1-45, Article 15
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019-08, Vol.299, p.3-3
2019
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2024-06, Vol.46 (2), p.1-31, Article 5
2024
Volltextzugriff (PDF)
ACM transactions on privacy and security, 2018-05, Vol.21 (2), p.1-31
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.53-68
2004
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Volltextzugriff (PDF)
Information and computation, 2014-10, Vol.237, p.187-203
2014
Volltextzugriff (PDF)
Theoretical computer science, 2015-04, Vol.577, p.74-97
2015
Volltextzugriff (PDF)
Mathematical structures in computer science, 2016-05, Vol.26 (4), p.658-701
2016
Volltextzugriff (PDF)
Order (Dordrecht), 2016-11, Vol.33 (3), p.503-516
2016
Volltextzugriff (PDF)
Formal aspects of computing, 2018-11, Vol.30 (6), p.685-711
2018
Volltextzugriff (PDF)
Static Analysis, p.247-271
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.280-295
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.2-18
2004
Volltextzugriff (PDF)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.281-306
2023
Volltextzugriff (PDF)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.113-132
2023
Volltextzugriff (PDF)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.233-252
2023
Volltextzugriff (PDF)
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop, 2013, p.1-6
2013
Volltextzugriff (PDF)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.188-205
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Abstract Interpretation
- Computer Science, Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Software Engineering
- Semantics
- Abstract Domain
- Theoretical Computing
- Programming Languages
- Logic Programming
- Mathematics
- Completeness
- Physical Sciences
- Theory Of Computation
Kollektion
- Ingenta
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- ACM Digital Library Complete
- EZB Electronic Journals Library
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- IEEE Xplore
- Springer Nature - Complete Springer Journals
- MEDLINE
- Journals@Ovid
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals Frontfile Complete
- Oxford University Press Journals Current
- Cambridge Journals Online (DEFF)
- Nature
- Project Muse All Journals
Zeitschrift / Serie
- Sigplan Notices
- Theoretical Computer Science
- Acm Transactions On Programming Languages And Systems
- Information And Computation
- Proceedings Of Acm On Programming Languages
- Electronic Notes In Theoretical Computer Science
- Etri Journal
- Journal Of Logic And Computation
- Proceedings Of The Acm On Programming Languages
- Science Of Computer Programming
Neu hinzugefügt