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...Foundations and trends in programming languages, 2019, Vol.5 (2-3), p.102-281
2019
Volltextzugriff (PDF)
ACM transactions on graphics, 2019-11, Vol.38 (6), p.1-14
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2011-01, Vol.7, Issue 1
2011
Volltextzugriff (PDF)
ACM transactions on graphics, 2024-07, Vol.43 (4), p.1-13, Article 152
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-29
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-01, Vol.2 (POPL), p.1-30
2018
Volltextzugriff (PDF)
ACM transactions on graphics, 2022-06, Vol.41 (3), p.1-13, Article 32
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.396-424, Article 14
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-22
2022
Volltextzugriff (PDF)
2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), 2021, p.1-8
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-10, Vol.5 (OOPSLA), p.1-28
2021
Volltextzugriff (PDF)
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018, p.58-68
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-09, Vol.2 (ICFP), p.1-31
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-10, Vol.3 (OOPSLA), p.1-26
2019
Volltextzugriff (PDF)
ACM transactions on design automation of electronic systems, 2024-02, Vol.29 (2), p.1-25, Article 35
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.468-492, Article 125
2023
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-10, Vol.7 (OOPSLA2), p.1034-1062, Article 258
2023
Volltextzugriff (PDF)
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015, p.357-368
2015
Volltextzugriff (PDF)
9th International Conference on Interactive Theorem Proving, ITP 2018, Oxford, United Kingdom, 2018, Vol.10895 LNCS, p.362
2018
Volltextzugriff (PDF)
31st International Conference on Computer Aided Verification, CAV 2019, New York, USA, 2019, Vol.11562 LNCS, p.155
2019
Volltextzugriff (PDF)
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015, p.1-11
2015
Volltextzugriff (PDF)
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018, p.256-269
2018
Volltextzugriff (PDF)
2015 IEEE International Conference on Robotics and Automation (ICRA), 2015, p.5537-5544
2015
Volltextzugriff (PDF)
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
- Compiler Optimization
- Equality Saturation
- Programming Languages
- Software And Its Engineering
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Correctness
- Optimization
- Program Synthesis
- Applied Sciences
- Computer Science; Control Theory; Systems
- Distributed Systems
- Exact Sciences And Technology
- Floating Point
- Intermediate Representation
- Software
Kollektion
Zeitschrift / Serie
Neu hinzugefügt