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...ACM transactions on embedded computing systems, 2023-09, Vol.22 (5s), p.1-24, Article 151
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-29
2020
Volltextzugriff (PDF)
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, p.586-601
2017
Volltextzugriff (PDF)
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018, p.14-17
2018
Volltextzugriff (PDF)
SIGPLAN notices, 2017-09, Vol.52 (6), p.586-601
2017
Volltextzugriff (PDF)
Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023, p.29-37
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Embedded Systems
- Programming Languages
- Verified Compilation
- Computer Science, Hardware & Architecture
- Interactive Theorem Proving
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Synchronous Languages
- Acsl
- Compilers
- Computer Science, Theory & Methods
- Computer Systems Organization
- Cryptographic Protocols
- Data Flow Languages
- Formal Software Verification
- Formal Verification
- Formally Verified Compilation
Kollektion
Zeitschrift / Serie