Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 10 Treffer
- proof assistant 7 Treffer
- proof assistants 5 Treffer
- bison 4 Treffer
- circuit optimization 4 Treffer
-
45 weitere Werte:
- computer science 4 Treffer
- cryptography 4 Treffer
- data encryption 4 Treffer
- distributed systems 4 Treffer
- floating-point arithmetic 4 Treffer
- grammar 4 Treffer
- interval analysis 4 Treffer
- matrices (mathematics) 4 Treffer
- modular construction 4 Treffer
- parsing (grammar) 4 Treffer
- performance 4 Treffer
- polynomial optimization 4 Treffer
- public key cryptography 4 Treffer
- quantum computing 4 Treffer
- qubits 4 Treffer
- rounding errors 4 Treffer
- roundoff error 4 Treffer
- semidefinite programming 4 Treffer
- transcendental functions 4 Treffer
- applied sciences 3 Treffer
- architecture 3 Treffer
- composition 3 Treffer
- computer science; control theory; systems 3 Treffer
- design 3 Treffer
- engineering 3 Treffer
- exact sciences and technology 3 Treffer
- industrial arts 3 Treffer
- informatique 3 Treffer
- informatique theorique 3 Treffer
- informatique; automatique theorique; systemes 3 Treffer
- logiciel 3 Treffer
- mde 3 Treffer
- mof 3 Treffer
- quantum numbers 3 Treffer
- sciences appliquees 3 Treffer
- sciences exactes et technologie 3 Treffer
- software 3 Treffer
- technology 3 Treffer
- theoretical computing 3 Treffer
- verification formelle 3 Treffer
- automatic proving 2 Treffer
- blockchain 2 Treffer
- c language 2 Treffer
- compilador 2 Treffer
- compilateur 2 Treffer
Publikation
- acm transactions on programming languages & systems 12 Treffer
- acm transactions on mathematical software 5 Treffer
- formal aspects of computing 4 Treffer
- acm international conference proceeding series 2 Treffer
- acm sigplan notices 2 Treffer
-
5 weitere Werte:
- proceedings of the acm on programming languages 2 Treffer
- acm transactions on programming languages and systems 1 Treffer
- communications of the acm 1 Treffer
- journal of the association for computing machinery 1 Treffer
- proceedings of the acm sigplan conference on programming language design and implementation (pldi) 1 Treffer
Sprache
18 Treffer
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-61Online academicJournalZugriff:
-
In: Annenkov , D , Milo, 2021academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-09-01), Heft 3, S. 1-35Online academicJournalZugriff:
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: ACM Transactions on Programming Languages & Systems, Jg. 45 (2023-06-01), Heft 2, S. 1-68Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
In: Formal Aspects of Computing, Jg. 9 (1997), Heft 1, S. 1-48Online academicJournalZugriff:
-
In: ACM Transactions on Mathematical Software, Jg. 43 (2016-12-01), Heft 4, S. 1-31Online academicJournalZugriff:
-
In: Formal Aspects of Computing, Jg. 28 (2016-05-01), Heft 3, S. 409-440Online academicJournalZugriff:
-
In: Daukantas , I , Bruni , A & Schürmann , C 2021 , Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation . in Proceedings of PPDP (Principles of Declarative Programing Languages) . Association for Computing Machinery, 2021Online academicJournalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff:
-
In: Journal of the Association for Computing Machinery, Jg. 60 (2013), Heft 3Online academicJournalZugriff: