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, 2024-06, Vol.8 (PLDI), p.1929-1953, Article 225
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-30
2021
Volltextzugriff (PDF)
Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2020, p.277-287
2020
Volltextzugriff (PDF)
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023, p.182-196
2023
Volltextzugriff (PDF)
The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2021, p.148-148
2021
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Verilog
- Cognitive Science
- Compcert
- Coq
- Formal Software Verification
- Fuzzing
- Gated Ssa
- Hardware
- Hardware -- Electronic Design Automation
- Hardware -- Electronic Design Automation -- Hardware Description Languages And Compilation
- Hardware -- Electronic Design Automation -- High-Level And Register-Transfer Level Synthesis
- High-Level Synthesis
- Logic Synthesis
- Mathematics
- Mathematics, Applied
Zeitschrift / Serie